summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Sun2019-09-12 13:05:12 -0400
committerAndrew Sun2019-09-12 13:05:12 -0400
commitd83cbb4f640767c5223df9a905795d67083ccdb3 (patch)
tree4bf793d1727f1e6be0f9828b6c20d7a4c8b49e32
parent96f1f477889a3f211a72e2821775d6b043946d06 (diff)
downloadaur-d83cbb4f640767c5223df9a905795d67083ccdb3.tar.gz
clingo: add i686 and pentium4 support
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8a43b40cbffd..a68f87dc8a78 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -3,7 +3,9 @@ pkgbase = clingo
pkgver = 5.4.0
pkgrel = 1
url = https://potassco.org/
+ arch = i686
arch = x86_64
+ arch = pentium4
license = MIT
makedepends = clang
makedepends = cmake
diff --git a/PKGBUILD b/PKGBUILD
index 42bbc2a2db1c..475c376bfc4d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@ pkgname=clingo
pkgver=5.4.0
pkgrel=1
pkgdesc='Grounding tools for (disjunctive) logic programs'
-arch=('x86_64')
+arch=('i686' 'x86_64' 'pentium4')
url='https://potassco.org/'
license=('MIT')
depends=('lua' 'python')