From c2ce9fe335eb8535eda3f0ccf429d46b1fbade3e Mon Sep 17 00:00:00 2001 From: maxice8 Date: Mon, 24 Sep 2018 15:52:17 -0300 Subject: [PATCH] z3: fix build_style - the script is configure - respect configure_args - fix xlint errors about build_options_default - fix xlint errors about post_install --- srcpkgs/z3/template | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template index 2b962b38600..1fa29fdf579 100644 --- a/srcpkgs/z3/template +++ b/srcpkgs/z3/template @@ -3,7 +3,8 @@ pkgname=z3 version=4.7.1 revision=3 wrksrc="${pkgname}-${pkgname}-${version}" -build_style=gnu-configure +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')" @@ -16,21 +17,18 @@ license="MIT" homepage="https://github.com/Z3Prover/z3" distfiles="https://github.com/Z3Prover/z3/archive/${pkgname}-${version}.tar.gz" checksum=a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 + build_options="ocaml" desc_option_ocaml="Enable support for OCaml bindings" -build_options_default="ocaml" + shlib_provides="libz3.so" subpackages="$(vopt_if ocaml z3-ocaml)" -if [ "$CROSS_BUILD" ]; then - build_options_default= +if [ -z "$CROSS_BUILD" ]; then + build_options_default="ocaml" fi -do_configure() { - LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g --python $(vopt_if ocaml --ml) -} - -post_install() { +post_install() { vbin build/z3_tptp vbin build/maxsat if [ "$build_option_ocaml" ]; then