K 10 svn:author V 6 marino K 8 svn:date V 27 2014-04-10T10:33:23.227664Z K 7 svn:log V 457 lang/gnatdroid-arm5(7): Fix ARMv7, disable ARMv5 ARMv5 gnatdroid can't currently be built because sigtramp-armdroid.c uses thumb instructions that ARMv5 doesn't know. Until this is fixed, set the port to ignore. Both gnatdroid ports now using gcc-aux's Makefile.version for it's portrevision versions. Both now stop using CONFIGURE_ARGS because it processes the values in an unexpected way. Both get a revbump due to gcc-aux's binutils-caused revbump. END