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

[Felix Yan]

    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
===================================================================
--- PKGBUILD	2018-08-23 07:30:41 UTC (rev 373333)
+++ PKGBUILD	2018-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
 }