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>
Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)
commitf5e1bcdd6f0ede31c0f35fb707a39af27fb9ac9b
tree4c386bd3ed58fae89704ea10a415d2dd61832b5f
parentbde9eed19f34da456ec735f0252f4a968d68be46
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