--- 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;