Update building clingo on macOS

spack · Sep 22, 2023 · b1a4790 · b1a4790
1 parent 2e92b82
commit b1a4790
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/clingo/scripts/install_clingo.py b/clingo/scripts/install_clingo.py
@@ -1,11 +1,15 @@
+import sys
+
 import archspec.cpu
 
 import spack.bootstrap.config
 import spack.main
 
 
-CLINGO_BASE_SPEC = "clingo-bootstrap@spack +static_libstdcpp +optimized +ipo ~docs"
-
+if sys.platform == "linux":
+    CLINGO_BASE_SPEC = "clingo-bootstrap@spack +static_libstdcpp +optimized +ipo ~docs"
+else:
+    CLINGO_BASE_SPEC = "clingo-bootstrap@spack +optimized +ipo ~docs"
 
 install = spack.main.SpackCommand('install')