17:28 antoine 

Deprecate a few ports

 

15:34 antoine 

Mark BROKEN: unfetchable

 

20:25 rene 

Return ports maintained by John Marino to the pool, he is no longer interested.

Submitted by:	Mark Millard via private e-mail

 

21:33 rene 

Return the ports mistakenly reset to ports@ in r433856 to John Marino.

The mistake was completely on my part, I somehow connected the dots the
wrong way in my head.

The only exceptions (for now) are archivers/zstd and ports-mgmt/synth
which were already picked up by new volunteers in the mean time.

 

12:42 rene 

Return ports maintained by John Marino to the pool, see r433827 for details

 

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,
enabling check check support.

Also added:
lang/gnatdroid-sysroot-x86 (KitKat and Lollipop API)
lang/gnatdroid-binutils-x86

Despite the desciption, C++, Fortran and Objective-C should also work
well (in addition to advertised C and Ada frontends).

===

The gnatdroid-x86 port builds a C/Ada cross-compiler based on GCC 4.9
that targets the Android operating system (up to version 5.0, API level
21) running on x86 or x86_64 architecture (version 7).  This produces
binaries that run natively on x86-based Android devices.