K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-04-12T22:04:15.611519Z
K 7
svn:log
V 585
lang/gnatdroid-armv7 (&gcc-aux): Fix socket support and gnat.dg testsuite

The socket support on Gnatdroid was broken, and it had to be fixed at
lang/gcc-aux.

Until now, the dejagnu testsuite did not work on remote targets.  To fix
this, support files had to be installed at ${LOCALBASE}/share/dejagnu.
Dejagnu was not made a run dependency, conditional or otherwise.  The
test targets for gnatdroid are really maintainer targets.

Running the gnat.dg testsuite confirms that everything works in the
cross-compiler except stack checking (there's no support in gcc for this
just yet).

END