Add depext for llvm on macos

wintersteiger · wintersteiger · commit e7c05bb5a197 · 2025-06-11T15:04:03.000+01:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -7,6 +7,7 @@ license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
 depexts: [
   ["python3-distutils"] {os-family = "debian"}
+  ["llvm"] {os-family = "macos" & os-distribution = "homebrew"}
 ]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,7 @@ license: "MIT"`
`7`	`7`	`dev-repo: "git+https://github.com/Z3prover/z3.git"`
`8`	`8`	`depexts: [`
`9`	`9`	`["python3-distutils"] {os-family = "debian"}`
	`10`	`+ ["llvm"] {os-family = "macos" & os-distribution = "homebrew"}`
`10`	`11`	`]`
`11`	`12`	`patches: [`
`12`	`13`	`"gccstd-2a.patch" { (os-family = "opensuse" \| os-family = "suse") \| (os-distribution = "ubuntu" & os-version <= "20.04") }`