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:"):