summaryrefslogblamecommitdiff
path: root/user/spack/clingo-explicit-libatomic.patch
blob: 6a1d1a0aa1640aaa405a6a660fc710bd44ab06e4 (plain) (tree)
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 ab5fe9a043..8a31208850 100644
--- a/var/spack/repos/builtin/packages/clingo/package.py
+++ b/var/spack/repos/builtin/packages/clingo/package.py
@@ -120,6 +120,7 @@ def cmake_args(self):
                 "-DCLINGO_BUILD_WITH_PYTHON=ON",
                 "-DPYCLINGO_USER_INSTALL=OFF",
                 "-DPYCLINGO_USE_INSTALL_PREFIX=ON",
+                "-DCMAKE_CXX_STANDARD_LIBRARIES=-latomic",
                 self.cmake_py_shared,
             ]
             if self.spec["cmake"].satisfies("@3.16.0:"):