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" } ]
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" {build}
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.3.tar.gz"
30 checksum: [
31 "sha256=de7ee1e4590f7a3bd63f3dd972b44093eb62c914291f8fef39bb75627caa50fa"
32 "md5=1b83d932099b9117f54bd8dd81bb4240"
33 ]
34}