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

2020-09-14 Thread Felix Yan via arch-commits 
Date: Monday, September 14, 2020 @ 11:30:23
  Author: felixonmars
Revision: 705970

upgpkg: cvc4 1.8-2: fix dependency on boost-libs instead of boost

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-14 11:28:13 UTC (rev 705969)
+++ PKGBUILD2020-09-14 11:30:23 UTC (rev 705970)
@@ -3,12 +3,12 @@
 
 pkgname=cvc4
 pkgver=1.8
-pkgrel=1
+pkgrel=2
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
 url="https://cvc4.github.io/;
-depends=('boost' 'libantlr3c' 'cln')
-makedepends=('python-toml' 'cmake' 'java-runtime')
+depends=('boost-libs' 'libantlr3c' 'cln')
+makedepends=('boost' 'cmake' 'java-runtime' 'python-toml')
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
 source=("https://github.com/CVC4/CVC4/archive/$pkgver/$pkgname-$pkgver.tar.gz;

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

2020-06-20 Thread Felix Yan via arch-commits 
Date: Saturday, June 20, 2020 @ 08:39:08
  Author: felixonmars
Revision: 648226

upgpkg: cvc4 1.8-1

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |7 ---
 1 file changed, 4 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-20 08:39:00 UTC (rev 648225)
+++ PKGBUILD2020-06-20 08:39:08 UTC (rev 648226)
@@ -2,13 +2,13 @@
 # Contributor: Philipp Sieweck
 
 pkgname=cvc4
-pkgver=1.7
+pkgver=1.8
 pkgrel=1
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
 url="https://cvc4.github.io/;
 depends=('boost' 'libantlr3c' 'cln')
-makedepends=('python' 'cmake' 'java-runtime')
+makedepends=('python-toml' 'cmake' 'java-runtime')
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
 source=("https://github.com/CVC4/CVC4/archive/$pkgver/$pkgname-$pkgver.tar.gz;
@@ -16,7 +16,7 @@
 cvc4-fix-headers.patch
 cvc4-gcc7.patch)
 noextract=('antlr-3.4-complete.jar')
-sha512sums=('b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6'
+sha512sums=('19e318a62f0a6dfeea4db5225b150550f1e7afcf42a3547bad1ff2030aca7a7713fe29e7059f2dc391eaa18b0cd4183f99ab2dca5008979cb8881b46b8dc01f2'
 
'04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2'
 
'f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10'
 
'ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783')
@@ -38,6 +38,7 @@
 
 build() {
   cd "$srcdir/CVC4-$pkgver"
+  export PATH="$PATH:$PWD/antlr-3.4/bin"
   ./configure.sh --prefix=/usr --cln --gpl
   cd build
   make

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

2019-09-16 Thread Antonio Rojas via arch-commits 
Date: Monday, September 16, 2019 @ 17:06:25
  Author: arojas
Revision: 510909

https

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-09-16 17:05:42 UTC (rev 510908)
+++ PKGBUILD2019-09-16 17:06:25 UTC (rev 510909)
@@ -6,12 +6,12 @@
 pkgrel=2
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
-url="http://cvc4.cs.nyu.edu/web/;
+url="https://cvc4.cs.stanford.edu/web/;
 depends=('boost' 'libantlr3c' 'cln')
 makedepends=('python')
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
-source=("http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz; 
cvc4-gcc7.patch)
+source=("https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz;
 cvc4-gcc7.patch)
 
sha512sums=('0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4'
 
'5b05fff54c1f610b4e1d9884812980529512a0656da66cf5f67a407eaf28e10da59fd06e9b34ee0200751a2e796df37e37df9dda406cc3a5ceaaf518c357a5d7')

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

2019-01-11 Thread Evangelos Foutras via arch-commits 
Date: Friday, January 11, 2019 @ 07:59:51
  Author: foutrelis
Revision: 422302

Readline 8.0 rebuild

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-01-11 07:58:44 UTC (rev 422301)
+++ PKGBUILD2019-01-11 07:59:51 UTC (rev 422302)
@@ -3,7 +3,7 @@
 
 pkgname=cvc4
 pkgver=1.6
-pkgrel=1
+pkgrel=2
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
 url="http://cvc4.cs.nyu.edu/web/;

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

2018-08-23 Thread Felix Yan via arch-commits 
Date: Thursday, August 23, 2018 @ 07:32:49
  Author: felixonmars
Revision: 373334

upgpkg: cvc4 1.6-1

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |   10 +-
 1 file changed, 5 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-08-23 07:30:41 UTC (rev 37)
+++ PKGBUILD2018-08-23 07:32:49 UTC (rev 373334)
@@ -3,17 +3,18 @@
 # Contributor: Philipp Sieweck
 
 pkgname=cvc4
-pkgver=1.5
+pkgver=1.6
 pkgrel=1
 pkgdesc="An automatic theorem prover"
 arch=('x86_64')
 url="http://cvc4.cs.nyu.edu/web/;
 depends=('boost' 'libantlr3c' 'cln')
+makedepends=('python')
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
 source=("http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz; 
cvc4-gcc7.patch)
-sha256sums=('5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9'
-'be2a4a9c843da030b12215bebbd159f2b5acaa1465eb9d1aab2f10c350f4defa')
+sha512sums=('0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4'
+
'5b05fff54c1f610b4e1d9884812980529512a0656da66cf5f67a407eaf28e10da59fd06e9b34ee0200751a2e796df37e37df9dda406cc3a5ceaaf518c357a5d7')
 
 prepare() {
   cd $pkgname-$pkgver
@@ -22,8 +23,7 @@
 
 build() {
   cd $pkgname-$pkgver
-#  export CXXFLAGS+=" -std=gnu++98"
-  ./configure --prefix=/usr --enable-optimization --disable-doxygen-doc 
--with-cln --enable-gpl
+  ./configure --prefix=/usr --disable-doxygen-doc --with-cln --enable-gpl
   make
 }

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

2017-12-05 Thread Antonio Rojas via arch-commits 
Date: Tuesday, December 5, 2017 @ 08:03:44
  Author: arojas
Revision: 272213

Fix checksum (FS#56578)

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2017-12-05 07:46:56 UTC (rev 272212)
+++ PKGBUILD2017-12-05 08:03:44 UTC (rev 272213)
@@ -12,7 +12,7 @@
 optdepends=('readline: for an improved interaction support')
 license=('GPL' 'BSD' 'MIT' 'custom:HPND')
 source=("http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz; 
cvc4-gcc7.patch)
-sha256sums=('11ee2c3c182556a5ef750da9631191b3ad6c4ea592eb81d067a2edc41e57bd7b'
+sha256sums=('5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9'
 'be2a4a9c843da030b12215bebbd159f2b5acaa1465eb9d1aab2f10c350f4defa')
 
 prepare() {

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

2016-11-06 Thread Bartłomiej Piotrowski 
Date: Sunday, November 6, 2016 @ 22:26:52
  Author: bpiotrowski
Revision: 194820

readline 7.0 rebuild

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2016-11-06 22:08:23 UTC (rev 194819)
+++ PKGBUILD2016-11-06 22:26:52 UTC (rev 194820)
@@ -4,7 +4,7 @@
 
 pkgname=cvc4
 pkgver=1.4
-pkgrel=4
+pkgrel=5
 pkgdesc="An automatic theorem prover"
 arch=('i686' 'x86_64')
 url="http://cvc4.cs.nyu.edu/web/;

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

2016-11-06 Thread Antonio Rojas 
Date: Sunday, November 6, 2016 @ 22:08:23
  Author: arojas
Revision: 194819

Use C++98 to fix build

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |1 +
 1 file changed, 1 insertion(+)

Modified: PKGBUILD
===
--- PKGBUILD2016-11-06 21:15:47 UTC (rev 194818)
+++ PKGBUILD2016-11-06 22:08:23 UTC (rev 194819)
@@ -22,6 +22,7 @@
 
 build() {
   cd "$srcdir"/cvc4-$pkgver
+  export CXXFLAGS+=" -std=gnu++98"
   ./configure --prefix=/usr --enable-optimization --disable-doxygen-doc 
--with-cln --enable-gpl
   make
 }

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

2015-12-06 Thread Felix Yan 
Date: Monday, December 7, 2015 @ 08:31:56
  Author: fyan
Revision: 149708

C++11 ABI rebuild

Modified:
  cvc4/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-12-07 07:25:50 UTC (rev 149707)
+++ PKGBUILD2015-12-07 07:31:56 UTC (rev 149708)
@@ -4,7 +4,7 @@
 
 pkgname=cvc4
 pkgver=1.4
-pkgrel=3
+pkgrel=4
 pkgdesc="An automatic theorem prover"
 arch=('i686' 'x86_64')
 url="http://cvc4.cs.nyu.edu/web/;