-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
33 lines (32 loc) · 1.2 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
opam-version: "2.0"
maintainer: "mickael.delahaye@gmail.com"
authors: ["Mickaël Delahaye"]
license: "ISC"
build: [
["./configure"]
[make "all"]
]
remove: [["ocamlfind" "remove" "ocamlyices"]]
depends: ["ocaml" "ocamlfind" "camlidl" "num"]
x-ci-accept-failures: ["debian-unstable"]
dev-repo: "git+https://github.com/polazarus/ocamlyices"
install: [make "install"]
synopsis: "Yices SMT solver binding"
description: """
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI.
This binding requires Yices version 1.0.34 or more recent, but not 2.
Download the latest tarball from Yices' official website:
http://yices.csl.sri.com/download.shtml
Install it in /usr/local and register the DLL quickly:
wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz>
where <yices-XYZ.tar.gz> should be replaced with the path to the
downloaded tarball. Optionally you can set an installation directory:
wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> /opt /opt/lib64"""
flags: light-uninstall
url {
src: "https://github.com/polazarus/ocamlyices/archive/v0.7.tar.gz"
checksum: [
"sha256=51e9efc2e7951d2a3f5b3db5e4736efdd554a0a3326ac2ce82db37e5e75b7432"
"md5=58d89a05ae59d45bcb705c8123acfe45"
]
}