blob: 1c6d6a556356ba37089d3e100aca1d1767e3da88 (
plain) (
blame)
1
2
3
4
5
6
|
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.
WWW: http://www.spark-2014.org
|
