z3: switch to python3, clean up template.
This commit is contained in:
parent
c37116f63c
commit
daa5f288c8
|
@ -1,13 +1,16 @@
|
|||
# Template file for 'z3'
|
||||
pkgname=z3
|
||||
version=4.6.0
|
||||
revision=2
|
||||
revision=3
|
||||
wrksrc="${pkgname}-${pkgname}-${version}"
|
||||
hostmakedepends="python $(vopt_if ocaml 'ocaml ocaml-findlib')"
|
||||
build_style=gnu-configure
|
||||
make_build_args="-C build all examples"
|
||||
make_install_args="-C build install"
|
||||
hostmakedepends="python3 $(vopt_if ocaml 'ocaml ocaml-findlib')"
|
||||
makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-num ncurses-devel')"
|
||||
depends="python python-setuptools"
|
||||
depends="python3 python3-setuptools"
|
||||
pycompile_module="z3"
|
||||
short_desc="Z3 theorem prover and SMT solver (command line + Python module)"
|
||||
short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)"
|
||||
maintainer="Leah Neukirchen <leah@vuxu.org>"
|
||||
license="MIT"
|
||||
homepage="https://github.com/Z3Prover/z3"
|
||||
|
@ -24,35 +27,15 @@ if [ "$CROSS_BUILD" ]; then
|
|||
fi
|
||||
|
||||
do_configure() {
|
||||
LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g $(vopt_if ocaml --ml)
|
||||
LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g --python $(vopt_if ocaml --ml)
|
||||
}
|
||||
|
||||
do_build() {
|
||||
make ${makejobs} -C build all examples
|
||||
}
|
||||
|
||||
do_install() {
|
||||
vbin build/z3
|
||||
post_install() {
|
||||
vbin build/z3_tptp
|
||||
vbin build/maxsat
|
||||
vinstall build/libz3.so 0644 usr/lib
|
||||
for f in src/api/z3*.h; do
|
||||
vinstall $f 0644 usr/include
|
||||
done
|
||||
vinstall src/api/c++/z3++.h 0644 usr/include
|
||||
for f in build/python/z3/*; do
|
||||
vinstall $f 0644 usr/lib/python2.7/site-packages/z3
|
||||
done
|
||||
if [ "$build_option_ocaml" ]; then
|
||||
vmkdir usr/lib/ocaml/Z3
|
||||
vinstall src/api/ml/z3.mli 0644 usr/lib/ocaml/Z3
|
||||
for f in build/api/ml/*; do
|
||||
case "$f" in
|
||||
*.o) continue ;;
|
||||
*.so) vinstall $f 0644 usr/lib/ocaml/stublibs ;;
|
||||
*) vinstall $f 0644 usr/lib/ocaml/Z3
|
||||
esac
|
||||
done
|
||||
vmkdir usr/lib/ocaml/Z3/stublibs
|
||||
mv ${DESTDIR}/usr/lib/ocaml/Z3/dllz3ml.so ${DESTDIR}/usr/lib/ocaml/Z3/stublibs
|
||||
fi
|
||||
vlicense LICENSE.txt
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue
Block a user