Revert "Simplify clingo spec string"

This reverts commit f0ee8ce.
spack · Oct 9, 2023 · 45d5744 · 45d5744
1 parent 8e69d62
commit 45d5744
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/clingo/scripts/install_clingo.py b/clingo/scripts/install_clingo.py
@@ -6,10 +6,14 @@
 import spack.main
 
 
-CLINGO_BASE_SPEC = "clingo-bootstrap@spack +optimized ~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')
+
+
 with spack.bootstrap.config.spack_python_interpreter():
     msg = 'Installing clingo-bootstrap with Python: {0}'
     print(msg.format(spack.bootstrap.config.spec_for_current_python()))