this repo has no description
Merge pull request #25111 from wintersteiger/christoph/z3-4.12.5
Add Z3 4.12.5
authored by
Marcello Seri
and committed by
GitHub
f789bff5
6f0e9b5a
+43
+43
packages/z3/z3.4.12.5/opam
+43
packages/z3/z3.4.12.5/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
+
depexts: [
9
+
["python3-distutils"] {os-family = "debian"}
10
+
]
11
+
build: [
12
+
[ "python3" "scripts/mk_make.py" "--ml" ]
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.12.5.tar.gz"
39
+
checksum: [
40
+
"sha256=70e211e0a8e77febccc51865e45111066f623356a4ef0b527c3597362bc6db72"
41
+
"sha512=b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7"
42
+
]
43
+
}