SPARK 2012 Spark.Ada library Maintained by:marino@FreeBSD.org Port Added: 17 Feb 2014 11:17:41 License: GPLv3
At least one port requires exactly the Spark.Ada library that came
with SPARK 2012. SPARK itself is not in ports -- SPARK 2014 is the
first version planned to arrive -- so this is a separately packaged
SPARK 2012 library to be compiled with the GNAT Ada compiler.
devel/spark2012: Build the static library to stop ironsides leftovers
Without a static library present, gnatmake will build the objects it
needs in the base system -- that's not legal.
The original issue I had with this was using BSD_INSTALL_LIB which
stripped out the symbols in the static library, but I didn't realize
what was happening. Now I know and the library is installed intact