Permalink
Fetching contributors…
Cannot retrieve contributors at this time
32 lines (31 sloc) 832 Bytes
opam-version: "2.0"
maintainer: "Nicolas Berthier <m@nberth.space>"
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
license: "LGPL-2.1"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
]
install: [
[make "install"]
]
remove: [
["ocamlfind" "remove" "bddapron"]
["rm" "-r" "-f" "%{bddapron:doc}%"]
]
depends: [
"ocaml" {>= "4.03.0"}
"ocamlfind" {build}
"camllib"
"mlcuddidl" {>= "2.3.0"}
"apron" {>= "20151015"}
"ocamlbuild" {build}
]
synopsis: "Logico-numerical domain(s) based on BDDs and APRON"
flags: light-uninstall
url {
archive: "http://nberth.space/pool/bddapron/bddapron-2.3.3.tar.gz"
checksum: "md5=55b075f0242532b9fe293602b6839984"
}