From 891a59f36b0019fcffbccc096ff1f00e4c144446 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 16 Jan 2018 17:02:37 +0100
Subject: [PATCH] z3: disable ocaml when cross-compiling.

---
 srcpkgs/z3/template | 4 ++++
 1 file changed, 4 insertions(+)

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)
 }