/
opam
47 lines (45 loc) · 1.18 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
opam-version: "2.0"
maintainer: "weng@cs.jhu.edu"
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"
depexts: [
["python3-distutils"] {os-family = "debian"}
]
patches: ["fix-gcc-13.patch"]
build: [
[ "python3" "scripts/mk_make.py" "--ml" ]
[ make "-C" "build" "-j" jobs ]
]
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-gmp"
"conf-python-3" {build}
"conf-c++" {build}
]
x-ci-accept-failures: [
"centos-7" "oraclelinux-7" # C compiler is too old
]
conflicts: [
"ocaml-option-bytecode-only"
]
synopsis: "Z3 solver"
extra-files: [
["fix-gcc-13.patch" "md5=f9078b5316a8f8cc8f11a3846a21811e"]
]
url {
src:
"https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.2.tar.gz"
checksum: [
"sha256=9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f"
"sha512=375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2"
]
}