diff options
author | Brent Carmer | 2015-11-08 14:50:56 -0800 |
---|---|---|
committer | Brent Carmer | 2015-11-08 14:50:56 -0800 |
commit | 24e7807e78f384c7ddad595b85a9eb927a3d0e99 (patch) | |
tree | 4fa1e3d091980f1e76275dcd2f4731ffeedd950c | |
parent | 007f8de734ccd9a8b892ee68d3ccc23b6d1a6ab9 (diff) | |
download | aur-24e7807e78f384c7ddad595b85a9eb927a3d0e99.tar.gz |
Download antlr too.
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -27,11 +27,10 @@ source=('git://github.com/CVC4/CVC4.git') build() { cd $srcdir/CVC4 ./autogen.sh - #./contrib/get-antlr-3.4 + ./contrib/get-antlr-3.4 ./configure --with-antlr-dir=$srcdir/CVC4/antlr-3.4 ANTLR=$srcdir/CVC4/antlr-3.4/bin/antlr3 --prefix=/usr - #make clean make - #make check + make check } package() { |