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"
6dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
7license: "LGPL-2.1-only"
8build: [
9 ["./configure"
10 "--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
11 [make "-j%{jobs}%"]
12]
13install: [
14 [make "install"]
15]
16depends: [
17 "ocaml" {>= "4.04" & < "5.0.0"}
18 "ocamlfind" {build}
19 "camlidl"
20 "ocamlbuild" {build}
21 "conf-m4" {build}
22]
23synopsis: "OCaml interface to the CUDD BDD library"
24url {
25 src:
26 "https://framagit.org/nberth/mlcuddidl/-/archive/3.0.7/mlcuddidl-3.0.7.tar.gz"
27 checksum: [
28 "sha256=bb07afd59199b72eec88ffb04cdd698bfbc391622fdfed9c9b75c6a4506fcd3f"
29 "md5=0b726780bd06b7156a621efdf6df164f"
30 ]
31}