diff options
| author | Vincent Bernardoff | 2016-10-12 23:44:39 +0200 |
|---|---|---|
| committer | Vincent Bernardoff | 2016-10-12 23:44:39 +0200 |
| commit | 20ca399565f7356f2c207d37fbe67d933424158e (patch) | |
| tree | afeb57284b811e89a8db2776d9bd02adf9767ab6 | |
| parent | 34f37faec6638b6bbe54b726629e399b7b66ad21 (diff) | |
| download | aur-20ca399565f7356f2c207d37fbe67d933424158e.tar.gz | |
Update to 5.0.0
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 24 |
2 files changed, 20 insertions, 12 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Apr 14 11:56:58 UTC 2016 +# Wed Oct 12 21:44:12 UTC 2016 pkgbase = clingo pkgdesc = Grounding tools for (disjunctive) logic programs. - pkgver = 4.5.4 + pkgver = 5.0.0 pkgrel = 1 url = http://potassco.sourceforge.net/ arch = x86_64 @@ -14,8 +14,8 @@ pkgbase = clingo makedepends = bison makedepends = re2c makedepends = scons - source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.4/clingo-4.5.4-source.tar.gz - sha1sums = bf039e6aacefba7814de1e9c82e57da0784839fb + source = https://github.com/potassco/clingo/archive/v5.0.0.tar.gz + sha1sums = 4242bbc03227a16e29760275bb08d9eb657c49e5 pkgname = clingo @@ -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 } |