Merge pull request ocaml#18899 from nberth/master

mlcuddidl.3.0.7

packages/mlcuddidl/mlcuddidl.3.0.7/opam

@@ -0,0 +1,27 @@
+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"
+dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
+license: "LGPL-2.1"
+build: [
+  ["./configure"
+     "--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
+  [make "-j%{jobs}%"]
+]
+install: [
+  [make "install"]
+]
+depends: [
+  "ocaml" {>= "4.04"}
+  "ocamlfind"  {build}
+  "camlidl"
+  "ocamlbuild" {build}
+  "conf-m4"    {build}
+]
+synopsis: "OCaml interface to the CUDD BDD library"
+url {
+  src: "https://framagit.org/nberth/mlcuddidl/-/archive/3.0.7/mlcuddidl-3.0.7.tar.gz"
+  checksum: "md5=0b726780bd06b7156a621efdf6df164f"
+}