Fix depext for llvm on macos

wintersteiger · wintersteiger · commit 405d527cafdc · 2025-06-11T15:26:40.000+01:00
diff --git a/packages/z3/z3.4.15.1/opam b/packages/z3/z3.4.15.1/opam
@@ -7,7 +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"}
+  ["llvm"] {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,7 +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`	`+ ["llvm"] {os-distribution = "homebrew"}`
`11`	`11`	`]`
`12`	`12`	`patches: [`
`13`	`13`	`"gccstd-2a.patch" { (os-family = "opensuse" \| os-family = "suse") \| (os-distribution = "ubuntu" & os-version <= "20.04") }`