/
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) ]
x-commit-hash: "6dd263d8147829badd3c3c134293dc6be8d29ea9"
url {
src:
"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.0/bitwuzla-1.0.0.tbz"
checksum: [
"sha256=004ccb630a070829fedcbaf071fc50f5c7df2e5f47d2016e228ab775df6961d8"
"sha512=9a3d46b0a0379228a17f9d5f88cf7c409eab7c72d9296a939bc254120bc89ede9471d0930f8d2f70463e99e627649e56e54556ed2f008a3800f9387a6959674a"
]
}