summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-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')