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