Update to 5.0.0

1 files changed, 16 insertions, 8 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 5413f743bf7b..ec101fc5cd11 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=clingo
 groups=('potassco')
-pkgver=4.5.4
+pkgver=5.0.0
 pkgrel=1
 pkgdesc="Grounding tools for (disjunctive) logic programs."
 arch=('x86_64' 'i686' 'armv6h' 'armv7h')
@@ -10,16 +10,24 @@ url="http://potassco.sourceforge.net/"
 license=('GPL3')
 depends=()
 makedepends=('bison' 're2c' 'scons')
-source=(
-    "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
-sha1sums=(bf039e6aacefba7814de1e9c82e57da0784839fb)
+source=("https://github.com/potassco/${pkgname}/archive/v${pkgver}.tar.gz")
+sha1sums=(4242bbc03227a16e29760275bb08d9eb657c49e5)
 
 build() {
-    cd "${srcdir}/${pkgname}-${pkgver}-source"
-    scons --build-dir=release ${pkgname}
+    cd "${srcdir}/${pkgname}-${pkgver}"
+    scons --build-dir=release
 }
 
 package() {
-    cd "${srcdir}/${pkgname}-${pkgver}-source/build/release"
-    install -D ${pkgname} ${pkgdir}/usr/bin/${pkgname}
+    cd "${srcdir}/${pkgname}-${pkgver}/build/release"
+    install -D gringo ${pkgdir}/usr/bin/gringo
+    install -D clingo ${pkgdir}/usr/bin/clingo
+    install -D reify ${pkgdir}/usr/bin/reify
+    install -D lpconvert ${pkgdir}/usr/bin/lpconvert
+    if [ -x "python/clingo.so" ]; then
+        install -D "python/clingo.so" ${pkgdir}/usr/lib/libclingo_python.so
+    fi
+    if [ -x "lua/clingo.so" ]; then
+        install -D "lua/clingo.so" ${pkgdir}/usr/lib/libclingo_lua.so
+    fi
 }