[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Tuesday, July 7, 2020 @ 14:04:42 Author: felixonmars Revision: 658694 upgpkg: clasp 3.3.5-2: reproducibility rebuild Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-07-07 14:04:39 UTC (rev 658693) +++ PKGBUILD2020-07-07 14:04:42 UTC (rev 658694) @@ -3,7 +3,7 @@ pkgname=clasp pkgver=3.3.5 -pkgrel=1 +pkgrel=2 pkgdesc='Answer set solver' arch=('x86_64') url='https://potassco.org/'
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Thursday, August 29, 2019 @ 11:35:00 Author: arodseth Revision: 504788 upgpkg: clasp 3.3.5-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2019-08-29 11:25:51 UTC (rev 504787) +++ PKGBUILD2019-08-29 11:35:00 UTC (rev 504788) @@ -2,7 +2,7 @@ # Contributor: Vincent Bernardoff pkgname=clasp -pkgver=3.3.4 +pkgver=3.3.5 pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64')
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Friday, June 29, 2018 @ 12:41:05 Author: arodseth Revision: 347732 upgpkg: clasp 3.3.4-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-06-29 10:57:48 UTC (rev 347731) +++ PKGBUILD2018-06-29 12:41:05 UTC (rev 347732) @@ -1,9 +1,9 @@ # $Id$ -# Maintainer: Alexander F Rødseth +# Maintainer: Alexander F. Rødseth # Contributor: Vincent Bernardoff pkgname=clasp -pkgver=3.3.3 +pkgver=3.3.4 pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64') @@ -27,4 +27,5 @@ DESTDIR="$pkgdir" ninja -C build install } +# getver: github.com/potassco/clasp/releases # vim: ts=2 sw=2 et:
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Tuesday, February 27, 2018 @ 13:23:22 Author: arodseth Revision: 299260 upgpkg: clasp 3.3.3-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD | 13 ++--- 1 file changed, 6 insertions(+), 7 deletions(-) Modified: PKGBUILD === --- PKGBUILD2018-02-27 12:58:57 UTC (rev 299259) +++ PKGBUILD2018-02-27 13:23:22 UTC (rev 299260) @@ -3,22 +3,21 @@ # Contributor: Vincent Bernardoff pkgname=clasp -pkgver=3.3.2 +pkgver=3.3.3 pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64') url='https://potassco.org/' license=('GPL3') -makedepends=('cmake' 'ninja') -depends=('gcc-libs') -conflicts=("clingo") -source=("$pkgname-$pkgver.tar.gz::https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) -sha256sums=('367f9f3f035308bd32d5177391a470d9805efc85a737c4f4d6d7b23ea241dfdf') +makedepends=('cmake' 'git' 'ninja') +conflicts=('clingo') +source=("git+https://github.com/potassco/clasp.git#tag=v$pkgver";) +md5sums=('SKIP') build() { mkdir -p build cd build - cmake "../$pkgname-$pkgver" \ + cmake "../$pkgname" \ -DCMAKE_INSTALL_PREFIX=/usr \ -G Ninja ninja
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Monday, July 31, 2017 @ 08:48:46 Author: arodseth Revision: 247121 upgpkg: clasp 3.3.2-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD | 11 ++- 1 file changed, 6 insertions(+), 5 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-07-31 08:21:27 UTC (rev 247120) +++ PKGBUILD2017-07-31 08:48:46 UTC (rev 247121) @@ -3,16 +3,17 @@ # Contributor: Vincent Bernardoff pkgname=clasp -pkgver=3.3.0 -pkgrel=3 +pkgver=3.3.2 +pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64' 'i686') url='https://potassco.org/' license=('GPL3') makedepends=('cmake' 'ninja') +depends=('gcc-libs') conflicts=("clingo") -source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) -sha256sums=('74ba1b75823c1401d254020fb8954e5ac2bc04a56d624abaee6519f95be78f48') +source=("$pkgname-$pkgver.tar.gz::https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) +sha256sums=('367f9f3f035308bd32d5177391a470d9805efc85a737c4f4d6d7b23ea241dfdf') build() { mkdir -p build @@ -27,4 +28,4 @@ DESTDIR="$pkgdir" ninja -C build install } -# vim:set ts=2 sw=2 et: +# vim: ts=2 sw=2 et:
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Monday, June 5, 2017 @ 20:30:13 Author: arodseth Revision: 234416 upgpkg: clasp 3.3.0-3 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |6 ++ 1 file changed, 2 insertions(+), 4 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-06-05 20:21:49 UTC (rev 234415) +++ PKGBUILD2017-06-05 20:30:13 UTC (rev 234416) @@ -4,12 +4,13 @@ pkgname=clasp pkgver=3.3.0 -pkgrel=2 +pkgrel=3 pkgdesc='Answer set solver' arch=('x86_64' 'i686') url='https://potassco.org/' license=('GPL3') makedepends=('cmake' 'ninja') +conflicts=("clingo") source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) sha256sums=('74ba1b75823c1401d254020fb8954e5ac2bc04a56d624abaee6519f95be78f48') @@ -24,9 +25,6 @@ package() { DESTDIR="$pkgdir" ninja -C build install - - # Conflicts with clingo - rm "$pkgdir/usr/bin/lpconvert" } # vim:set ts=2 sw=2 et:
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Monday, June 5, 2017 @ 15:19:55 Author: arodseth Revision: 234251 upgpkg: clasp 3.3.0-2 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |5 - 1 file changed, 4 insertions(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2017-06-05 15:17:44 UTC (rev 234250) +++ PKGBUILD2017-06-05 15:19:55 UTC (rev 234251) @@ -4,7 +4,7 @@ pkgname=clasp pkgver=3.3.0 -pkgrel=1 +pkgrel=2 pkgdesc='Answer set solver' arch=('x86_64' 'i686') url='https://potassco.org/' @@ -24,6 +24,9 @@ package() { DESTDIR="$pkgdir" ninja -C build install + + # Conflicts with clingo + rm "$pkgdir/usr/bin/lpconvert" } # vim:set ts=2 sw=2 et:
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Monday, June 5, 2017 @ 12:08:52 Author: arodseth Revision: 234167 upgpkg: clasp 3.3.0-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD | 22 +++--- 1 file changed, 11 insertions(+), 11 deletions(-) Modified: PKGBUILD === --- PKGBUILD2017-06-05 09:53:19 UTC (rev 234166) +++ PKGBUILD2017-06-05 12:08:52 UTC (rev 234167) @@ -3,27 +3,27 @@ # Contributor: Vincent Bernardoff pkgname=clasp -pkgver=3.2.1 +pkgver=3.3.0 pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64' 'i686') url='https://potassco.org/' license=('GPL3') -depends=('gcc-libs') -source=("$pkgname-$pkgver.tgz::https://github.com/potassco/$pkgname/archive/$pkgver.tar.gz";) -sha256sums=('987513ffa84f885d7fcf94f0edb2ef25c8b5730553513120699a4820c9bc42f7') +makedepends=('cmake' 'ninja') +source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) +sha256sums=('74ba1b75823c1401d254020fb8954e5ac2bc04a56d624abaee6519f95be78f48') build() { - cd "$pkgname-$pkgver" - - ./configure.sh --with-mt=std --prefix=/usr - make -C build/release_mt + mkdir -p build + cd build + cmake "../$pkgname-$pkgver" \ +-DCMAKE_INSTALL_PREFIX=/usr \ +-G Ninja + ninja } package() { - install -D \ -"$pkgname-$pkgver/build/release_mt/bin/$pkgname" \ -"$pkgdir/usr/bin/$pkgname" + DESTDIR="$pkgdir" ninja -C build install } # vim:set ts=2 sw=2 et:
[arch-commits] Commit in clasp/trunk (PKGBUILD)
Date: Sunday, November 27, 2016 @ 12:10:37 Author: arodseth Revision: 197012 upgpkg: clasp 3.2.1-1 Modified: clasp/trunk/PKGBUILD --+ PKGBUILD |9 - 1 file changed, 4 insertions(+), 5 deletions(-) Modified: PKGBUILD === --- PKGBUILD2016-11-27 12:09:41 UTC (rev 197011) +++ PKGBUILD2016-11-27 12:10:37 UTC (rev 197012) @@ -9,7 +9,6 @@ arch=('x86_64' 'i686') url='https://potassco.org/' license=('GPL3') -#makedepends=('clang') depends=('gcc-libs') source=("$pkgname-$pkgver.tgz::https://github.com/potassco/$pkgname/archive/$pkgver.tar.gz";) sha256sums=('987513ffa84f885d7fcf94f0edb2ef25c8b5730553513120699a4820c9bc42f7') @@ -16,14 +15,14 @@ build() { cd "$pkgname-$pkgver" - ./configure.sh --with-mt=std --prefix='/usr' CXX=g++ - cd build/release_mt - make + ./configure.sh --with-mt=std --prefix=/usr + make -C build/release_mt } package() { - install -D "$pkgname-$pkgver/build/release_mt/bin/$pkgname" \ + install -D \ +"$pkgname-$pkgver/build/release_mt/bin/$pkgname" \ "$pkgdir/usr/bin/$pkgname" }