spark2014: shared gmp should not be in the environment for builds

We just need to install it.
alire-project · Jul 5, 2024 · 1443b47 · 1443b47
1 parent 0cb0eb4
commit 1443b47
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/specs/spark2014.anod b/specs/spark2014.anod
@@ -114,6 +114,7 @@ class SPARK2014(spec("common")):
             Anod.Dependency("libgpr2", qualifier="next"),
             Anod.Dependency("libgpr"),
             Anod.Dependency("langkit_support"),
+            Anod.Dependency("adasat", track=True),
             Anod.Dependency("libadalang"),
         ]
 
@@ -135,7 +136,8 @@ class SPARK2014(spec("common")):
             jobs=self.jobs
         )
         for dep in self.deps:
-            self.deps[dep].setenv()
+            if dep not in ["gmp_shared"]:
+                self.deps[dep].setenv()
         make("all-nightly", jobs=1)
 
         self.install()