File tree Expand file tree Collapse file tree 2 files changed +18
-0
lines changed
packages/mlcuddidl/mlcuddidl.3.0.8 Expand file tree Collapse file tree 2 files changed +18
-0
lines changed Original file line number Diff line number Diff line change 1+ commit a6135f9b75e3923cbd720e4b02b57073b022f1a7
2+ Author: François Bobot <
[email protected] >
3+ Date: Thu Nov 6 10:06:16 2025 +0100
4+
5+ The exn field is a value not a void*
6+
7+ diff --git a/sedscript_c b/sedscript_c
8+ index 5aa3525..48b86a3 100644
9+ --- a/sedscript_c
10+ +++ b/sedscript_c
11+ @@ -13,3 +13,4 @@ s/camlidl_bdd/camlidl_cudd_bdd/g;
12+ s/camlidl_add/camlidl_cudd_add/g;
13+ s/camlidl_zdd/camlidl_cudd_zdd/g;
14+ s/camlidl_vdd/camlidl_cudd_vdd/g;
15+ + s/(\*_c2)\.exn = NULL;/(*_c2).exn = Val_unit;/g;
Original file line number Diff line number Diff line change @@ -22,6 +22,7 @@ depends: [
2222]
2323patches : [
2424 "compilation_ocaml5.diff" { ocaml:version >= "5" }
25+ "exn_init_val_unit.diff"
2526]
2627synopsis: "OCaml interface to the CUDD BDD library"
2728post-messages: [
@@ -38,4 +39,6 @@ extra-files: [
3839 ["compilation_ocaml5.diff"
3940 "sha256=de3fc5fbb81a6a477d6c2b29e133c3228dfb572bd1d9950d84dfd614221004c5"
4041 ]
42+ ["exn_init_val_unit.diff"
43+ "sha256=a00ceaaca0aa26b1fabd1cdb893769f5de6c5481ff33331035c6fbf91210b0c7" ]
4144]
You can’t perform that action at this time.
0 commit comments