summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorVincent Bernardoff2016-10-24 20:52:13 +0200
committerVincent Bernardoff2016-10-24 20:52:13 +0200
commite0e4e689383f6840e499f27be4a358f409dd18ba (patch)
tree6c7ef466ee91a885fa8ff2925993efe1e6aebf50
parentbd00473049c7324bb0b2aa78250723e042cea479 (diff)
downloadaur-clasp.tar.gz
Update to 3.2.1
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD14
2 files changed, 12 insertions, 12 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d0b0a6f6feb5..e70386e859ef 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 86be634f9ab7..c61ce234c696 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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}"
}