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>
Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100)
commitc756e7c2ba2bde60c35bed07ad19a2c41bb8c425
treef4919f417c5b02e0b784fd728b5a2cb8b10bfc32
parentc56c697192188c5ed63c4f746a67c46c6399b89e
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