From eb1b06296cc503d8dc4c12f5ebc731c031ea9e53 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 4 Jul 2024 16:32:11 +0200 Subject: [PATCH] spark2014: bring back shared libgmp for alt-ergo --- specs/spark2014.anod | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/specs/spark2014.anod b/specs/spark2014.anod index 9cbaf65..5623576 100644 --- a/specs/spark2014.anod +++ b/specs/spark2014.anod @@ -104,6 +104,9 @@ class SPARK2014(spec("common")): Anod.Dependency("why3"), Anod.Dependency("alt-ergo"), Anod.Dependency("gmp"), + Anod.Dependency("gmp", + qualifier="shared_lib", + local_name="gmp_shared"), Anod.Dependency("gprbuild"), Anod.Dependency("gnatcoll"), Anod.Dependency("gnatcoll-bindings"), @@ -167,7 +170,7 @@ class SPARK2014(spec("common")): sync_tree(self.deps["why3"]["INSTALL_DIR"], libexec_spark, delete=False) sync_tree(self.deps["alt-ergo"]["INSTALL_DIR"], libexec_spark, delete=False) sync_tree(self.deps["gprbuild"]["INSTALL_DIR"], libexec_spark, delete=False) - sync_tree(self.deps["gmp"]["INSTALL_DIR"], libexec_spark, delete=False) + sync_tree(self.deps["gmp_shared"]["INSTALL_DIR"], libexec_spark, delete=False) sync_tree(os.path.join(self["SRC_DIR"], "z3"), libexec_spark, delete=False) sync_tree(os.path.join(self["SRC_DIR"], "cvc5"), libexec_spark, delete=False)