diff options
author | Vincent Bernardoff | 2016-10-24 20:52:13 +0200 |
---|---|---|
committer | Vincent Bernardoff | 2016-10-24 20:52:13 +0200 |
commit | e0e4e689383f6840e499f27be4a358f409dd18ba (patch) | |
tree | 6c7ef466ee91a885fa8ff2925993efe1e6aebf50 | |
parent | bd00473049c7324bb0b2aa78250723e042cea479 (diff) | |
download | aur-clasp.tar.gz |
Update to 3.2.1
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 14 |
2 files changed, 12 insertions, 12 deletions
@@ -1,10 +1,10 @@ # Generated by mksrcinfo v8 -# Tue Sep 27 12:14:05 UTC 2016 +# Mon Oct 24 18:51:34 UTC 2016 pkgbase = clasp pkgdesc = A conflict-driven nogood learning answer set solver. - pkgver = 3.2.0 + pkgver = 3.2.1 pkgrel = 1 - url = http://potassco.sourceforge.net/ + url = https://potassco.org arch = x86_64 arch = i686 arch = armv6h @@ -12,8 +12,8 @@ pkgbase = clasp groups = potassco license = GPL3 makedepends = clang - source = http://downloads.sourceforge.net/project/potassco/clasp/3.2.0/clasp-3.2.0-source.tar.gz - sha1sums = ff29d1c506fe6545a7b70b0fd3f4d4e707e2315a + source = https://github.com/potassco/clasp/archive/3.2.1.tar.gz + sha1sums = 532a00a32ca03351f9e3961c055665d7782b5f06 pkgname = clasp @@ -2,24 +2,24 @@ pkgname=clasp groups=('potassco') -pkgver=3.2.0 +pkgver=3.2.1 pkgrel=1 pkgdesc="A conflict-driven nogood learning answer set solver." arch=('x86_64' 'i686' 'armv6h' 'armv7h') -url="http://potassco.sourceforge.net/" +url="https://potassco.org" license=('GPL3') makedepends=('clang') -source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") -sha1sums=(ff29d1c506fe6545a7b70b0fd3f4d4e707e2315a) +source=("https://github.com/potassco/${pkgname}/archive/${pkgver}.tar.gz") +sha1sums=(532a00a32ca03351f9e3961c055665d7782b5f06) build() { cd "${srcdir}/${pkgname}-${pkgver}" - ./configure.sh --prefix='/usr' CXX=clang++ - cd build/release + ./configure.sh --with-mt=std --prefix='/usr' CXX=clang++ + cd build/release_mt make } package() { - cd "${srcdir}/${pkgname}-${pkgver}/build/release/bin" + cd "${srcdir}/${pkgname}-${pkgver}/build/release_mt/bin" install -D "${pkgname}" "${pkgdir}/usr/bin/${pkgname}" } |