this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "weng@cs.jhu.edu"
3authors: "MSR"
4homepage: "https://github.com/Z3prover/z3"
5bug-reports: "https://github.com/Z3prover/z3/issues"
6license: "MIT"
7dev-repo: "git+https://github.com/Z3prover/z3.git"
8depexts: [
9 ["python3-distutils"] {os-family = "debian"}
10]
11build: [
12 [ "python3" "scripts/mk_make.py" "--ml" ]
13 [ make "-C" "build" "-j" jobs ]
14]
15
16install: [
17 [ "sh" "-c" "ocamlfind install z3 build/api/ml/* -dll build/libz3.*"]
18 [ "cp" "build/z3" "%{bin}%/z3"]
19]
20
21depends: [
22 "ocaml" {>= "4.08.0"}
23 "ocamlfind" {build}
24 "zarith"
25 "conf-gmp"
26 "conf-python-3" {build}
27 "conf-c++" {build}
28]
29x-ci-accept-failures: [
30 "centos-7" "oraclelinux-7" # C compiler is too old
31]
32synopsis: "Z3 solver"
33post-messages: [
34 """
35Z3 4.8.13 changed the linking mode from static to dynamic.
36This change is silent and potentially breaking.
37Please make sure that you don't require static binaries in the programs using Z3.
38""" {success}
39]
40url {
41 src:
42 "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.10.2.tar.gz"
43 checksum: [
44 "sha256=889fd035b833775c8cd2eb4723eb011bf916a3e9bf08ce66b31c548acee7a321"
45 "sha512=d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3"
46 ]
47}