summaryrefslogtreecommitdiff
path: root/user/spack/clingo-explicit-libatomic.patch
diff options
context:
space:
mode:
Diffstat (limited to 'user/spack/clingo-explicit-libatomic.patch')
-rw-r--r--user/spack/clingo-explicit-libatomic.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/user/spack/clingo-explicit-libatomic.patch b/user/spack/clingo-explicit-libatomic.patch
new file mode 100644
index 000000000..60bf83c5d
--- /dev/null
+++ b/user/spack/clingo-explicit-libatomic.patch
@@ -0,0 +1,12 @@
+diff --git a/var/spack/repos/builtin/packages/clingo/package.py b/var/spack/repos/builtin/packages/clingo/package.py
+index 73ff2b1769..40c2c61dfc 100644
+--- a/var/spack/repos/builtin/packages/clingo/package.py
++++ b/var/spack/repos/builtin/packages/clingo/package.py
+@@ -118,6 +118,7 @@ def cmake_args(self):
+ self.define("PYCLINGO_USE_INSTALL_PREFIX", True),
+ self.define("PYCLINGO_INSTALL_DIR", python_platlib),
+ self.define("PYCLINGO_SUFFIX", suffix),
++ self.define("CMAKE_CXX_STANDARD_LIBRARIES", "-latomic"),
+ self.cmake_py_shared,
+ ]
+ else: