diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index aa6b129a453..f43ad4d8b2f 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -19,6 +19,10 @@ build_options_default="ocaml"
 shlib_provides="libz3.so"
 subpackages="$(vopt_if ocaml z3-ocaml)"
 
+if [ "$CROSS_BUILD" ]; then
+	build_options_default=
+fi
+
 do_configure() {
 	LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g $(vopt_if ocaml --ml)
 }