[arch-commits] Commit in clasp/trunk (PKGBUILD)

[Felix Yan via arch-commits]

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)

[Alexander Rødseth via arch-commits]

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)

[Alexander Rødseth via arch-commits]

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)

[Alexander Rødseth via arch-commits]

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)

[Alexander Rødseth]

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)

[Alexander Rødseth]

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)

[Alexander Rødseth]

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)

[Alexander Rødseth]

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)

[Alexander Rødseth]

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"
 }