link with libatomic on architectures that require it
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Wed, 11 Mar 2020 10:50:20 +0000 (06:50 -0400)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 28 Dec 2020 12:50:01 +0000 (12:50 +0000)
commit5410a7d69c1b5aeeb6b793af1562f03a32d8d24d
tree761cb27e1e39a195dbdd6064d651b4f516baec56
parent97244e92fa4566c7b7071529276f788033af801d
link with libatomic on architectures that require it

Last-Update: 2020-03-11
Forwarded: no

clingo requires c++11 threads with 64bit __atomic_exchange, we need to
link with libatomic on armel, powerpc, powerpcspe, m68k, mips, mipsel,
and sh4, see also https://gcc.gnu.org/wiki/Atomic and
https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary

This patch was shamelessly adapted from
https://github.com/potassco/clasp/blob/master/CMakeLists.txt
https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be

Gbp-Pq: Name link-libatomic-check.patch
CMakeLists.txt