this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Nicolas Berthier <m@nberth.space>"
3authors: ["Bertrand Jeannet" "Nicolas Berthier"]
4homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
5bug-reports: "https://framagit.org/nberth/mlcuddidl/-/issues"
6# SVN repositories not supported (yet).
7# dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
8license: "LGPL-2.1-only"
9build: [
10 ["./configure"]
11 [make "-j%{jobs}%"]
12]
13install: [
14 [make "install"]
15]
16remove: [
17 ["ocamlfind" "remove" "cudd"]
18]
19depends: [
20 "ocaml" {>= "4.02" & < "4.09.0"}
21 "ocamlfind" {build}
22 "camlidl"
23 "ocamlbuild" {build}
24 "conf-m4" {build}
25]
26synopsis: "OCaml interface to the CUDD BDD library"
27flags: light-uninstall
28url {
29 src: "http://nberth.space/pool/mlcuddidl/mlcuddidl-3.0.2.tar.gz"
30 checksum: [
31 "sha256=c2df888672270745be8d598bbe01662074ad0ecaf4ea67f9586f6abe46e1db0b"
32 "md5=f0a9a864fdd0744fed26e092d520a494"
33 ]
34}