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.0-only WITH OCaml-LGPL-linking-exception"
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"}
18 "ocamlfind" {build}
19 "camlidl"
20 "ocamlbuild" {build}
21 "conf-m4" {build}
22]
23synopsis: "OCaml interface to the CUDD BDD library"
24available: [ os != "win32" & os != "cygwin" ]
25url {
26 src: "https://framagit.org/nberth/mlcuddidl/-/archive/3.0.8/mlcuddidl-3.0.8.tar.gz"
27 checksum: "sha512=b039fd1162bef7460bc7cf378a000d35730d5327ec4648dfe7eef88c148fb6812764bf32a1801353a09f59c9bcd6ea386f77e1896e48b53163d4c081fed5a80c"
28}