Make it work on homebrew/arm64

Author: wintersteiger

packages/z3/z3.4.15.1/opam

@@ -22,7 +22,15 @@ build: [
     export PATH LDFLAGS CPPFLAGS
     python3 scripts/mk_make.py --ml
     make -C build 
-  """] {os-distribution = "homebrew"}
+  """] {os-distribution = "homebrew" & arch = "amd64"}
+  [ "sh" "-c" """#!/bin/sh
+    PATH=/opt/homebrew/opt/llvm/bin:$PATH
+    LDFLAGS="-L/opt/homebrew/opt/llvm/lib $LDFLAGS"
+    CPPFLAGS="-I/opt/homebrew/opt/llvm/include $CPPFLAGS"
+    export PATH LDFLAGS CPPFLAGS
+    python3 scripts/mk_make.py --ml
+    make -C build
+  """] {os-distribution = "homebrew" & arch = "arm64"}
 ]
 
 install: [