opam-version: "2.0"
maintainer: "Nicolas Berthier <m@nberth.space>"
authors: ["Bertrand Jeannet" "Nicolas Berthier"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
bug-reports: "https://framagit.org/nberth/mlcuddidl/-/issues"
# SVN repositories not supported (yet).
# dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
license: "LGPL-2.1-only"
build: [
  ["./configure"
     "--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
  [make "-j%{jobs}%"]
]
install: [
  [make "install"]
]
depends: [
  "ocaml" {>= "4.02" & < "5.0.0"}
  "ocamlfind"  {build}
  "camlidl"
  "ocamlbuild" {build}
  "conf-m4"    {build}
]
synopsis: "OCaml interface to the CUDD BDD library"
url {
  src: "http://nberth.space/pool/mlcuddidl/mlcuddidl-3.0.6.tar.gz"
  checksum: [
    "sha256=b1611a43cb9c1055403d47323f86cb49cadf21658f32270eaa6c7e156d3871f3"
    "md5=bea9d9b94024df1d78ebe0caf66351ad"
  ]
}