Fix SPARK (actually libgpr2-next) build on Mac OS X.

Latest version of libgpr2 has `SOURCE_DIR :=` with more than one spaces before assignment in `Makefile`, so our hack stops working.
alire-project · Aug 19, 2024 · 5a2f22b · 5a2f22b
1 parent 08aa8e6
commit 5a2f22b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/libgpr2.anod b/specs/libgpr2.anod
@@ -112,7 +112,7 @@ class LibGPR2(spec("common")):
         # an absolute path.
         print(os.path.join(self["SRC_DIR"], "Makefile"))
         text_replace(os.path.join(self["SRC_DIR"], "Makefile"),
-                                  [("SOURCE_DIR := .*",
+                                  [("SOURCE_DIR *:= .*",
                                    "SOURCE_DIR := " + self["SRC_DIR"])])
 
         self.env.add_search_path("PYTHONPATH", os.path.join(self["SRC_DIR"], "langkit_src"))