diff options
author | Brent Carmer | 2015-11-08 14:50:12 -0800 |
---|---|---|
committer | Brent Carmer | 2015-11-08 14:50:12 -0800 |
commit | 007f8de734ccd9a8b892ee68d3ccc23b6d1a6ab9 (patch) | |
tree | f0a84121e104a89e8e951ee63315064c482879b2 | |
download | aur-007f8de734ccd9a8b892ee68d3ccc23b6d1a6ab9.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 22 | ||||
-rw-r--r-- | PKGBUILD | 40 |
2 files changed, 62 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..c958cc233c1b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = cvc4-git + pkgdesc = An automatic theorem prover for SMT problems. + pkgver = v1.4 + pkgrel = 1 + url = http://cvc4.cs.nyu.edu/web/ + arch = x86_64 + arch = i686 + license = GPLv3 + makedepends = git + makedepends = gcc + makedepends = make + makedepends = bash + depends = gmp + depends = boost + depends = libantlr3c + provides = cvc4 + conflicts = cvc4 + source = git://github.com/CVC4/CVC4.git + md5sums = SKIP + +pkgname = cvc4-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..54d516e94c5b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,40 @@ +# Maintainer: Brent Carmer <bcarmer@gmail.com> +pkgname=cvc4-git + +pkgver=v1.4 +pkgver() { + cd "$_pkgname" + git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' + } + +pkgrel=1 +pkgdesc="An automatic theorem prover for SMT problems." +url="http://cvc4.cs.nyu.edu/web/" +arch=('x86_64' 'i686') +license=('GPLv3') +depends=('gmp' 'boost' 'libantlr3c') +makedepends=('git' 'gcc' 'make' 'bash') +optdepends=() +conflicts=() +replaces=() +backup=() +conflicts=('cvc4') +provides=('cvc4') +md5sums=('SKIP') + +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 + #make clean + make + #make check +} + +package() { + cd $srcdir/CVC4 + make DESTDIR="$pkgdir/" install +} |