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" } ]
13 [make "-j%{jobs}%"]
14]
15install: [
16 [make "install"]
17]
18remove: [
19 ["ocamlfind" "remove" "cudd"]
20]
21depends: [
22 "ocaml" {>= "4.02" & < "4.10"}
23 "ocamlfind" {build}
24 "camlidl" {build}
25 "ocamlbuild" {build}
26 "conf-m4" {build}
27]
28synopsis: "OCaml interface to the CUDD BDD library"
29flags: light-uninstall
30url {
31 src: "http://nberth.space/pool/mlcuddidl/mlcuddidl-3.0.4.tar.gz"
32 checksum: [
33 "sha256=9a9d36e6504240793ac1f5f647a9ffb1ad5d715ff70d04fe96e44908ae9b2aea"
34 "md5=8af11a926e2c878b047505abf8fa7c80"
35 ]
36}