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