blob: 747f63af5b11fe1a251e6d1eca7a622ac593672d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- spark2012.gpr.orig 2014-02-17 05:33:24.000000000 -0500
+++ spark2012.gpr
@@ -1,5 +1,10 @@
project SPARK2012 is
+ for Languages use ("Ada");
for Source_Dirs use ("../../include/spark2012");
+ for Library_Dir use "../../lib/spark2012";
+ for Library_Name use "spark2012";
+ for Library_Kind use "static";
+ for Externally_Built use "True";
end SPARK2012;
|
