snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Activity

z3: needs which in hostmakedepends

This commit is contained in:
Jürgen Buchmüller 2020-01-26 20:54:40 +01:00
parent 547f4e6997
commit d2a311cc55
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
srcpkgs/z3/template
View File

@ -7,10 +7,9 @@ build_style=configure
configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)" configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"
make_build_args="-C build all examples" make_build_args="-C build all examples"
make_install_args="-C build install" make_install_args="-C build install"
hostmakedepends="python3 $(vopt_if ocaml 'ocaml ocaml-findlib')" hostmakedepends="python3 which $(vopt_if ocaml 'ocaml ocaml-findlib')"
makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-zarith ncurses-devel')" makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-zarith ncurses-devel')"
depends="python3 python3-setuptools" depends="python3 python3-setuptools"
pycompile_module="z3"
short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)" short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)"
maintainer="Leah Neukirchen <leah@vuxu.org>" maintainer="Leah Neukirchen <leah@vuxu.org>"
license="MIT" license="MIT"