From d2a311cc5523654668b9b0ef31cd1f67a4041206 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= Date: Sun, 26 Jan 2020 20:54:40 +0100 Subject: [PATCH] z3: needs which in hostmakedepends --- srcpkgs/z3/template | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template index e1f51e2ddec..3585e9cd90e 100644 --- a/srcpkgs/z3/template +++ b/srcpkgs/z3/template @@ -7,10 +7,9 @@ build_style=configure configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)" make_build_args="-C build all examples" 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')" depends="python3 python3-setuptools" -pycompile_module="z3" short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)" maintainer="Leah Neukirchen " license="MIT"