this repo has no description
Merge pull request #26038 from smuenzel/z3.4.13.0-2
Update z3 to 4.13.0-2, add "--gmp" flag to build
authored by
Marcello Seri
and committed by
GitHub
402ab79d
db82becb
+49
+49
packages/z3/z3.4.13.0-2/opam
+49
packages/z3/z3.4.13.0-2/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "weng@cs.jhu.edu"
3
+
authors: "MSR"
4
+
homepage: "https://github.com/Z3prover/z3"
5
+
bug-reports: "https://github.com/Z3prover/z3/issues"
6
+
license: "MIT"
7
+
dev-repo: "git+https://github.com/Z3prover/z3.git"
8
+
patches: [
9
+
"libatomic.patch"
10
+
]
11
+
build: [
12
+
[ "python3" "scripts/mk_make.py" "--ml" "--gmp" ]
13
+
[ make "-C" "build" "-j" jobs ]
14
+
]
15
+
16
+
install: [
17
+
[ "sh" "-c" "ocamlfind install z3 build/api/ml/* -dll build/libz3.*"]
18
+
[ "cp" "build/z3" "%{bin}%/z3"]
19
+
]
20
+
21
+
depends: [
22
+
"ocaml" {>= "4.08.0"}
23
+
"ocamlfind" {build}
24
+
"zarith"
25
+
"conf-gmp"
26
+
"conf-python-3" {build}
27
+
"conf-c++" {build}
28
+
]
29
+
x-ci-accept-failures: [
30
+
"centos-7" "oraclelinux-7" # C compiler is too old
31
+
]
32
+
conflicts: [
33
+
"ocaml-option-bytecode-only"
34
+
]
35
+
synopsis: "Z3 solver"
36
+
url {
37
+
src:
38
+
"https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.0.tar.gz"
39
+
checksum: [
40
+
"sha256=01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502"
41
+
"sha512=8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd"
42
+
]
43
+
}
44
+
extra-source "libatomic.patch" {
45
+
src:
46
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/libatomic.patch"
47
+
checksum:
48
+
"sha256=4c07050a7f437179fd349d0bd62c03d43844c0f7273fbe0dc35f77dda777d5e4"
49
+
}