Merge pull request ocaml#28080 from smuenzel/no-distutils-for-z3

No distutils for z3

Author: mseri

packages/z3/z3.4.13.2/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 bug-reports: "https://github.com/Z3prover/z3/issues"
 license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
-depexts: [
-  ["python3-distutils"] {os-family = "debian"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]

packages/z3/z3.4.13.3/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 bug-reports: "https://github.com/Z3prover/z3/issues"
 license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
-depexts: [
-  ["python3-distutils"] {os-family = "debian"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]

packages/z3/z3.4.14.1/opam

@@ -5,9 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 bug-reports: "https://github.com/Z3prover/z3/issues"
 license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
-depexts: [
-  ["python3-distutils"] {os-family = "debian"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]

packages/z3/z3.4.15.1/opam

@@ -5,10 +5,6 @@ homepage: "https://github.com/Z3prover/z3"
 bug-reports: "https://github.com/Z3prover/z3/issues"
 license: "MIT"
 dev-repo: "git+https://github.com/Z3prover/z3.git"
-depexts: [
-  ["python3-distutils"] {os-family = "debian"}
-  ["llvm"] {os-distribution = "homebrew"}
-]
 patches: [
   "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
 ]
@@ -42,6 +38,7 @@ depends: [
   "ocaml" {>= "4.08.0"}
   "ocamlfind" {build}
   "zarith"
+  "conf-llvm" { os-distribution = "homebrew" }
   "conf-python-3" {build}
   "conf-c++" {build}
 ]