Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordeep-42-thought <github@eckner.net>2017-08-27 21:17:46 +0200
committerGitHub <noreply@github.com>2017-08-27 21:17:46 +0200
commit4120aefd67048ed2e5bce7caf43e83d88a8165f1 (patch)
tree0defe81841bb09aab0c072b3dbadd91a072b14ab
parentc2efa38e45a3916b6c702b79cc553260e8b7273e (diff)
parentaaa6b6d13d4322067b3baf53676e5c7656844058 (diff)
Merge pull request #3 from andreasbaumann/clingo
community/cringo: fixed building with upstream patch
-rw-r--r--community/clingo/PKGBUILD9
1 files changed, 9 insertions, 0 deletions
diff --git a/community/clingo/PKGBUILD b/community/clingo/PKGBUILD
new file mode 100644
index 00000000..cf5c4a59
--- /dev/null
+++ b/community/clingo/PKGBUILD
@@ -0,0 +1,9 @@
+# see upstream: https://github.com/potassco/clingo/issues/57
+
+source+=("clang-libatomic.patch::https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be.patch")
+sha256sums+=('222b535ffd761c07c3652a3025180bcfb1f1b7504d7353048d5ce485a84c1a27')
+
+prepare() {
+ cd $pkgname-$pkgver/clasp
+ patch -p1 -i ../../clang-libatomic.patch
+}