Try adding llvm to path

wintersteiger · wintersteiger · commit 1bc18687c3b2 · 2025-06-11T17:51:01.000+01:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -13,6 +13,9 @@ patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]
 build: [
+  [ export PATH="/usr/local/opt/llvm/bin:$PATH"
+    export LDFLAGS="-L/usr/local/opt/llvm/lib"
+    export CPPFLAGS="-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}
   [ "python3" "scripts/mk_make.py" "--ml" ]
   [ make "-C" "build" "-j" jobs ]
 ]

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,9 @@ patches: [`
`13`	`13`	`"gccstd-2a.patch" { (os-family = "opensuse" \| os-family = "suse") \| (os-distribution = "ubuntu" & os-version <= "20.04") }`
`14`	`14`	`]`
`15`	`15`	`build: [`
	`16`	`+ [ export PATH="/usr/local/opt/llvm/bin:$PATH"`
	`17`	`+ export LDFLAGS="-L/usr/local/opt/llvm/lib"`
	`18`	`+ export CPPFLAGS="-I/usr/local/opt/llvm/include"] {os-distribution = "homebrew"}`
`16`	`19`	`[ "python3" "scripts/mk_make.py" "--ml" ]`
`17`	`20`	`[ make "-C" "build" "-j" jobs ]`
`18`	`21`	`]`