index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | deep-42-thought <github@eckner.net> | 2017-08-27 21:17:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-27 21:17:46 +0200 |
commit | 4120aefd67048ed2e5bce7caf43e83d88a8165f1 (patch) | |
tree | 0defe81841bb09aab0c072b3dbadd91a072b14ab /community/clingo | |
parent | c2efa38e45a3916b6c702b79cc553260e8b7273e (diff) | |
parent | aaa6b6d13d4322067b3baf53676e5c7656844058 (diff) |
-rw-r--r-- | community/clingo/PKGBUILD | 9 |
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 +} |