update build for 2019

1 files changed, 7 insertions, 7 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 2df8a943ff18..ff068d9f5e0c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 pkgname=cvc4-git
 _pkgname=CVC4
 
-pkgver=1.5.r189.g382813c77
+pkgver=1.6.r709.g219bc5991
 pkgver() {
     cd "$_pkgname"
     git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
@@ -10,11 +10,11 @@ pkgver() {
 
 pkgrel=1
 pkgdesc="An automatic theorem prover for SMT problems."
-url="http://cvc4.cs.nyu.edu/web/"
+url="http://cvc4.cs.stanford.edu"
 arch=('x86_64' 'i686')
 license=('BSD')
-depends=('gmp' 'boost' 'libantlr3c')
-makedepends=('automake' 'git' 'gcc' 'make' 'bash')
+depends=('gmp' 'java-runtime' 'python2')
+makedepends=('git' 'gcc' 'make' 'bash' 'cmake')
 optdepends=()
 conflicts=()
 replaces=()
@@ -27,14 +27,14 @@ source=('git://github.com/CVC4/CVC4.git')
 
 build() {
     cd $srcdir/CVC4
-    ./autogen.sh
     ./contrib/get-antlr-3.4
-    ./configure --with-antlr-dir=$srcdir/CVC4/antlr-3.4 ANTLR=$srcdir/CVC4/antlr-3.4/bin/antlr3 --prefix=/usr
+    ./configure.sh --prefix=/usr
+    cd build
     make
     make check
 }
 
 package() {
-    cd $srcdir/CVC4
+    cd $srcdir/CVC4/build
     make DESTDIR="$pkgdir/" install
 }