/
opam
48 lines (48 loc) · 1.37 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
48
opam-version: "2.0"
synopsis: "SMT solver for AUFBVFP (C API)"
description: "OCaml binding for the SMT solver Bitwuzla C API."
maintainer: ["Frédéric Recoules <frederic.recoules@cea.fr>"]
authors: ["Frédéric Recoules"]
license: "MIT"
tags: ["SMT solver" "SMT-COMP 2020" "AUFBVFP"]
homepage: "https://bitwuzla.github.io"
bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"
depends: [
"dune" {>= "2.7"}
"ocaml" {>= "4.08"}
"conf-git" {build}
"conf-gcc" {build}
"conf-g++" {build}
"conf-gmp"
"ppx_inline_test" {with-test & >= "v0.13"}
"ppx_expect" {with-test & >= "v0.13"}
"odoc" {with-doc}
]
conflicts: [
"bitwuzla" {< "1.0.0"}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"
available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) ]
url {
src:
"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.2/bitwuzla-1.0.2.tbz"
checksum: [
"sha256=98f92d5ae3b1b8ebf1b6034d55dec5104d3201becdfe0e100c23669fad06bdef"
"sha512=6d65f7f7a664b5d25b91b5123a44e5b78f907e4fcce4e3505007cfe1f947ef93604b52523bf1c4da9873a0bc47a52c57c7ea579e5cb49c4eb1e48b520d797c30"
]
}
x-commit-hash: "e67beb9807029dbb57be3efa54d03a3837696407"