Merge pull request ocaml#28096 from smuenzel/z3-4.15.2

z3-4.15.2

Author: mseri

packages/z3/z3.4.15.2/opam

@@ -0,0 +1,65 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: "MSR"
+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"
+patches: [
+  "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }
+]
+build: [
+  [ "python3" "scripts/mk_make.py" "--ml" ] {os-distribution != "homebrew"}
+  [ make "-C" "build" "-j" jobs ] {os-distribution != "homebrew"}
+  [ "sh" "-c" """#!/bin/sh
+    PATH=/usr/local/opt/llvm/bin:$PATH
+    LDFLAGS="-L/usr/local/opt/llvm/lib $LDFLAGS"
+    CPPFLAGS="-I/usr/local/opt/llvm/include $CPPFLAGS"
+    export PATH LDFLAGS CPPFLAGS
+    python3 scripts/mk_make.py --ml
+    make -C build 
+  """] {os-distribution = "homebrew" & arch = "x86_64"}
+  [ "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: [
+  [ "sh" "-c" "ocamlfind install z3 build/api/ml/* -dll build/libz3.*"]
+  [ "cp" "build/z3" "%{bin}%/z3"]
+]
+
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "ocamlfind" {build}
+  "zarith"
+  "conf-llvm" { os-distribution = "homebrew" }
+  "conf-python-3" {build}
+  "conf-c++" {build}
+]
+x-ci-accept-failures: [
+  "centos-7" "oraclelinux-7" "opensuse-15.6" # C compiler is too old
+]
+conflicts: [
+  "ocaml-option-bytecode-only"
+]
+synopsis: "Z3 solver"
+url {
+  src:
+    "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.2.tar.gz"
+  checksum: [
+    "sha256=3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751"
+    "sha512=ef752530cec0c08dbc53671c9fd04b6ed4d190905598d3d7dc1cb21dfde97fd0d69962c478ccc60e823718e2c57d9b3ee670f48fd09215597fa44d04b60fb21c"
+  ]
+}
+extra-source "gccstd-2a.patch" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/gccstd-2a.patch"
+  checksum:
+    "sha256=ae4088ff14739bcc2cadc90bc428f08277e898b832f6b859a46e23c584d513c8"
+}