summaryrefslogtreecommitdiff
path: root/user/spack/clingo-explicit-libatomic.patch
blob: 60bf83c5d4a30efa91183874ecc1da8a53524566 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
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: