-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
40 lines (40 loc) · 1.22 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
opam-version: "2.0"
maintainer: "Mickaël Delahaye <mickael.delahaye@gmail.com>"
authors: "Mickaël Delahaye <mickael.delahaye@gmail.com>"
homepage: "http://micdel.fr/ocamlyices2.html"
bug-reports: "https://github.com/polazarus/ocamlyices2/issues"
license: ["ISC" "non-commercial use"]
dev-repo: "git+https://github.com/maelvalais/ocamlyices2.git"
build: [
["./configure" "--prefix=%{prefix}%"]
[make]
]
install: [make "install"]
remove: ["ocamlfind" "remove" "yices2"]
depends: [
"ocaml" {< "5.2"}
"ocamlfind" {build}
"conf-gmp" {build}
"zarith"
]
post-messages: [
"
OCamlYices2 is free (BSD-like) but Yices is not!
**Yices is free [only] for non-commercial use**
License terms: http://yices.csl.sri.com/yices-newnewlicense.html
"
{success}
]
synopsis: "Yices2 SMT solver binding"
description: """
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI.
It is available freely for non-commercial purposes.
License terms: http://yices.csl.sri.com/yices-newnewlicense.html"""
flags: light-uninstall
url {
src: "https://github.com/maelvalais/ocamlyices2/archive/v0.0.3.tar.gz"
checksum: [
"sha256=2f9dfc5da61e56f49d450132325da21e1081dbde4a95a62735694e2ccd9c2b3a"
"md5=520065f7d81db571aacbc0e8ea3a63c7"
]
}