anil.recoil.org / opam-repository
this repo has no description
fork atom

gbddml 2.71.10 is not compatible with ocaml 5

```
=== ERROR while compiling gbddml.2.71.10 =====================================#
context 2.2.0~alpha~dev | linux/x86_64 | ocaml-base-compiler.5.0.0 | file:///home/opam/opam-repository
path ~/.opam/5.0/.opam-switch/build/gbddml.2.71.10
command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p gbddml -j 31
exit-code 1
env-file ~/.opam/log/gbddml-7-78ebeb.env
output-file ~/.opam/log/gbddml-7-78ebeb.out
File "lib/gbddml/dune", line 7, characters 37-45:
7 | (foreign_stubs (language c) (names gbdd_cml gbdd)
^^^^^^^^
(cd _build/default/lib/gbddml && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -x c++ -g -O2 -fno-operator-names -fPIC -g -I /home/opam/.opam/5.0/lib/ocaml -I /home/opam/.opam/5.0/lib/camlidl -o gbdd_cml.o -c gbdd_cml.c)
gbdd_cml.c: In function 'value alloc_gdbb_block()':
gbdd_cml.c:101:15: error: 'alloc_custom' was not declared in this scope; did you mean 'caml_alloc_custom'?
101 | value res = alloc_custom(
| ^~~~~~~~~~~~
| caml_alloc_custom
```

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

mseri.me f8776f62 e5225f32

options
unified split
Changed files
+1 -1
packages
gbddml
gbddml.2.71.10
opam
+1 -1
packages/gbddml/gbddml.2.71.10/opam 
···

       
9

       
9

       
 

       
bug-reports:


     

       
10

       
10

       
 

       
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
11

       
11

       
 

       
depends: [


     

       
12

       

       
-

       
  "ocaml"


     

       

       
12

       
+

       
  "ocaml" {< "5.0"}


     

       
13

       
13

       
 

       
  "base-unix" {build}


     

       
14

       
14

       
 

       
  "dune" {>= "2.0"}


     

       
15

       
15

       
 

       
  "camlidl" {>= "1.09"}