Another try

Author: wintersteiger

packages/z3/z3.4.15.1/opam

@@ -13,13 +13,13 @@ patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]
 build: [
-  [ "python3" "scripts/mk_make.py" "--ml" ] {os-distribution <> "homebrew"}
-  [ make "-C" "build" "-j" jobs ] {os-distribution <> "homebrew"}
+  [ "python3" "scripts/mk_make.py" "--ml" ] {os-distribution != "homebrew"}
+  [ make "-C" "build" "-j" jobs ] {os-distribution != "homebrew"}
   [ "sh" "-c" """#!/bin/sh
-    PATH=/usr/local/opt/llvm/bin:$PATH
-    LDFLAGS=\"-L/usr/local/opt/llvm/lib $LDFLAGS\"
-    CPPFLAGS=\"-I/usr/local/opt/llvm/include $CPPFLAGS\"
-    python3 scripts/mk_make.py --ml
+    export PATH=/usr/local/opt/llvm/bin:$PATH;
+    export LDFLAGS="-L/usr/local/opt/llvm/lib $LDFLAGS";
+    export CPPFLAGS="-I/usr/local/opt/llvm/include $CPPFLAGS";
+    python3 scripts/mk_make.py --ml;
     make -C build 
   """] {os-distribution = "homebrew"}
 ]