this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon@aestheticintegration.com"
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"
8patches: [
9 "fix-parallel-build.patch"
10 "0001-OCaml-static-fix-linking-options.patch"
11 "0002-OCaml-API-build-provide-static-linking-options-by-de.patch"
12]
13build: [
14 [ "python2.7" "scripts/mk_make.py" "--ml" "--staticlib" ]
15 [ make "-C" "build" "-j" jobs ]
16]
17install: [
18 [ "sh" "-c" "ocamlfind install z3 build/api/ml/META -nodll build/libz3* build/api/ml/*" ]
19]
20remove: ["ocamlfind" "remove" "z3"]
21depends: [
22 "ocaml" {< "5.0"}
23 "ocamlfind" {build}
24 "num"
25 "conf-gmp"
26 "conf-python-2-7" {build}
27 "conf-c++" {build}
28]
29synopsis: "Z3 solver"
30flags: light-uninstall
31url {
32 src: "https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
33 checksum: [
34 "sha256=5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601"
35 "md5=b74bbb04e90c034125fe9e01988add95"
36 ]
37}
38extra-source "fix-parallel-build.patch" {
39 src:
40 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/fix-parallel-build.patch"
41 checksum: [
42 "sha256=a0ceadd603d55a4c1a4584bcbc44eaf8bae2529a74c3343395f507c0ac2baea0"
43 "md5=54516d6bf1f1005508f5cbfe9c53dad2"
44 ]
45}
46extra-source "0002-OCaml-API-build-provide-static-linking-options-by-de.patch" {
47 src:
48 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/0002-OCaml-API-build-provide-static-linking-options-by-de.patch"
49 checksum: [
50 "sha256=e592f70d56254ec59df1ec003e299d3b9334384bd5ea4fa3e2356ce20e8e15c9"
51 "md5=9d7b2c02d2b98ca36798841bf227a7e7"
52 ]
53}
54extra-source "0001-OCaml-static-fix-linking-options.patch" {
55 src:
56 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/0001-OCaml-static-fix-linking-options.patch"
57 checksum: [
58 "sha256=17e6f25d14e1c34da1c780ee68c959428abc932cdc4096dcb80626d141435c7e"
59 "md5=47ec4c4b43677f314bd06ec0c7b345e5"
60 ]
61}