Date: Saturday, November 20, 2021 @ 15:33:14 Author: arodseth Revision: 1052876
upgpkg: clasp 3.3.7-1 Modified: clasp/trunk/PKGBUILD ----------+ PKGBUILD | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-11-20 13:46:37 UTC (rev 1052875) +++ PKGBUILD 2021-11-20 15:33:14 UTC (rev 1052876) @@ -2,7 +2,7 @@ # Contributor: Vincent Bernardoff <v...@luminar.eu.org> pkgname=clasp -pkgver=3.3.6 +pkgver=3.3.7 pkgrel=1 pkgdesc='Answer set solver' arch=(x86_64) @@ -10,13 +10,11 @@ license=(GPL3) makedepends=(cmake git ninja) conflicts=(clingo) -source=("git+https://github.com/potassco/clasp#commit=a8dfc0ab916abe4008452279fb5131b392c20018") # tag: v3.3.6 +source=("git+https://github.com/potassco/clasp#commit=39b7921fd7d218f5a354042b546e57f3bde2345a") # tag: v3.3.7 b2sums=('SKIP') build() { - cmake -B build -S $pkgname \ - -D CMAKE_INSTALL_PREFIX=/usr \ - -G Ninja + cmake -B build -D CMAKE_INSTALL_PREFIX=/usr -G Ninja -S $pkgname ninja -C build }