summaryrefslogtreecommitdiff
path: root/community/clingo
diff options
context:
space:
mode:
Diffstat (limited to 'community/clingo')
-rw-r--r--community/clingo/PKGBUILD21
1 files changed, 8 insertions, 13 deletions
diff --git a/community/clingo/PKGBUILD b/community/clingo/PKGBUILD
index 362b9ad9..707701db 100644
--- a/community/clingo/PKGBUILD
+++ b/community/clingo/PKGBUILD
@@ -1,15 +1,10 @@
-# clang++ misses some C++ atomic stubs in the C++ library on 32-bit,
-# g++ compiles and links fine
-# also reported upstream: https://github.com/potassco/clingo/issues/57
+# see upstream: https://github.com/potassco/clingo/issues/57
-# cmake
-makedepends=(${makedepends[@]/clang})
+arch+=('i686')
+source+=("clang-libatomic.patch::https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be.patch")
+sha256sums+=('222b535ffd761c07c3652a3025180bcfb1f1b7504d7353048d5ce485a84c1a27')
-# must be patched after cmake has run, hence it is in build
-eval "$(
- declare -f build | \
- sed '
- s/-DCMAKE_CXX_COMPILER=clang++/-DCMAKE_CXX_COMPILER=g++/
- /^\s*ninja\s*/i sed -i s/clang++/g++/g ${srcdir}/build/rules.ninja
- '
-)"
+prepare() {
+ cd $pkgname-$pkgver/clasp
+ patch -p1 -i ../../clang-libatomic.patch
+}