PKGBUILD


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

# Maintainer: Julian Pollinger <julian@pollinger.dev>
pkgname=cvc5-bestperformance
pkgver=1.2.0
pkgrel=1
pkgdesc="An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance."
arch=(x86_64)
url="https://github.com/cvc5/cvc5"
license=('GPL3')
depends=('cryptominisat' 'glpk-cut-log' 'symfpu-cvc5' 'libpoly' 'libedit' 'cadical' 'cln' 'libbsd' 'gmp')
optdepends=('python-cvc5: Python bindings for cvc5')
makedepends=('bash' 'gcc' 'cmake' 'python3' 'python-tomli' 'python-pyparsing' 'python-scikit-build' 'cython' 'java-environment' 'mold' 'python-pexpect')
source=("$url/archive/refs/tags/cvc5-$pkgver.tar.gz")
sha256sums=('7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e')
provides=("cvc5=$pkgver")
conflicts=('cvc5-bin' 'cvc5')

build(){
	cd "$srcdir/cvc5-cvc5-$pkgver"
	./configure.sh --prefix=/usr --java-bindings --best --gpl
	cd build
	make
}

# check(){
# 	cd "$srcdir/cvc5-cvc5-$pkgver/build"
# 	DESTDIR="$srcdir/cvc5-cvc5-$pkgver/build/install" make install
# 	cd "$srcdir/cvc5-cvc5-$pkgver/examples"
# 	mkdir -p build && cd build
# 	cmake -DCMAKE_PREFIX_PATH="$srcdir/cvc5-cvc5-$pkgver/build/install/usr/lib/cmake" ..
# 	make
# 	ctest
# }

package() {
	cd "$srcdir/cvc5-cvc5-$pkgver"
	install -Dm644 COPYING "$pkgdir/usr/share/licenses/cvc5/LICENSE"
	cd build
	DESTDIR=$pkgdir make install
}