21:58 Stefan Eßer (se) 

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

    fb16dfe

14:36 marino 

Rebase gnatdroid to gcc6-aux (6.0), add support for MARSHMELLOW

The gnatdroid cross-compilers (*BSD => Android) were the last two users
of gcc-aux (gcc 4.9 Ada compiler).  They are now based on gcc6-aux.

The Android NDK release 11 just came out with support for Android API 23
(Marshmellow) so now gnatdroid supports it.  I removed API 8 and 9
(Froyo and Gingerbread) from gnatdroid-armv7.  Froyo currently is installed
on less than 0.1% of Android devices, and Gingerbread is dropping under 2%
soon.  Many sysroot distfiles were re-rolled to gain required headers, so
a distfiles subdirectory was added as well.

 

00:15 marino 

Add gnatdroid-x86 (3 new ports), X-compiler to Android-x86

Similar to lang/gnatdroid-armv7, lang/gnatdroid-x86 is a cross-compiler
targetting Android. The former targets ARMv7 processors while the latter
targets Android on x86 (32-bit).  The latter also runs on Virtualbox as
a bonus.  The new ports are implemented as slaves to the ARMv7 versions.

The GNAT ACATS were run, and it passed every test except CXG2024,
"accuracy of multiplication and division of mixed decimal and binary
fixed point numbers".
subtest 13: expected -51.00 got 50.0
subtest 14: expected 51.0 got 50.0

This is probably a rounding error unique to 32-bit x86.  Overall this
version passed better than gnatdroid-armv7 because unwind is supported,

(Only the first 15 lines of the commit message are shown above )