libspark2012
Port variant standard
Summary SPARK 2012 Spark.Ada library
Package version 2012_1
Homepage http://www.spark-2014.org
Keywords devel, ada
Maintainer John Marino
License GPLv3+
Other variants There are no other variants.
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 13 AUG 2021, 16:27:41 UTC
Port created 22 APR 2017, 04:32:16 UTC
Subpackage Descriptions
single 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.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
Build (only) gprbuild:primary:standard
Download groups
main http://downloads.dragonlace.net/src/
Distribution File Information
862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2 23773 libspark2012-2012.tar.bz2
Ports that require libspark2012:standard
ironsides:standard Authoritative DNS server verified by SPARK/Ada