blob: 6a1d1a0aa1640aaa405a6a660fc710bd44ab06e4 (
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 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:"):
|
