diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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}" } |