Skip to content

Commit c80b5ac

Browse files
authored
[MLCUDDIDL] supports 5.0 by removing modules (#28849)
* [MLCUDDIDL] supports 5.0 by removing modules * Fix value initialized with NULL only for < 5.0 since the module is removed for >= 5
1 parent ef2c592 commit c80b5ac

File tree

1 file changed

+26
-1
lines changed
  • packages/mlcuddidl/mlcuddidl.3.0.8

1 file changed

+26
-1
lines changed

packages/mlcuddidl/mlcuddidl.3.0.8/opam

Lines changed: 26 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,15 +14,40 @@ install: [
1414
[make "install"]
1515
]
1616
depends: [
17-
"ocaml" {>= "4.04" & < "5"}
17+
"ocaml" {>= "4.04"}
1818
"ocamlfind" {build}
1919
"camlidl"
2020
"ocamlbuild" {build}
2121
"conf-m4" {build}
2222
]
23+
patches : [
24+
"compilation_ocaml5.diff" { ocaml:version >= "5" }
25+
"exn_init_val_unit.diff"
26+
]
2327
synopsis: "OCaml interface to the CUDD BDD library"
28+
post-messages: [
29+
"For supporting ocaml 5 some modules are removed compared to the release"
30+
{ ocaml:version >= "5" }
31+
]
32+
2433
available: [ os != "win32" & os != "cygwin" ]
2534
url {
2635
src: "https://framagit.org/nberth/mlcuddidl/-/archive/3.0.8/mlcuddidl-3.0.8.tar.gz"
2736
checksum: "sha512=b039fd1162bef7460bc7cf378a000d35730d5327ec4648dfe7eef88c148fb6812764bf32a1801353a09f59c9bcd6ea386f77e1896e48b53163d4c081fed5a80c"
2837
}
38+
39+
extra-source "compilation_ocaml5.diff" {
40+
src:
41+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/mlcuddidl/compilation_ocaml5.diff"
42+
checksum: [
43+
"sha256=de3fc5fbb81a6a477d6c2b29e133c3228dfb572bd1d9950d84dfd614221004c5"
44+
]
45+
}
46+
47+
extra-source "exn_init_val_unit.diff" {
48+
src:
49+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/mlcuddidl/exn_init_val_unit.diff"
50+
checksum: [
51+
"sha256=a00ceaaca0aa26b1fabd1cdb893769f5de6c5481ff33331035c6fbf91210b0c7"
52+
]
53+
}

0 commit comments

Comments
 (0)