blob: 2df8a943ff18f04e4c2d431f963249f1c98ad532 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# Maintainer: Brent Carmer <bcarmer@gmail.com>
pkgname=cvc4-git
_pkgname=CVC4
pkgver=1.5.r189.g382813c77
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=('BSD')
depends=('gmp' 'boost' 'libantlr3c')
makedepends=('automake' '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
make check
}
package() {
cd $srcdir/CVC4
make DESTDIR="$pkgdir/" install
}
|