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

jasmin <= 2023.06.0 is not compatible with ocaml 5

Fails with

```
=== ERROR while compiling jasmin.2023.06.0 ===================================#
context 2.2.0~alpha2~dev | linux/x86_64 | ocaml-base-compiler.5.0.0 | file:///home/opam/opam-repository
path ~/.opam/5.0/.opam-switch/build/jasmin.2023.06.0
command ~/.opam/opam-init/hooks/sandbox.sh build make -C compiler build
exit-code 2
env-file ~/.opam/log/jasmin-7-7015b2.env
output-file ~/.opam/log/jasmin-7-7015b2.out
\## output ###
make: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/jasmin.2023.06.0/compiler'
rm -f jasminc jazz2tex
dune build entry/jasminc.exe
(cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -rectypes -g -I safetylib/.jasmin_checksafety.objs/byte -I safetylib/.jasmin_checksafety.objs/native -I /home/opam/.opam/5.0/lib/apron -I /home/opam/.opam/5.0/lib/batteries -I /home/opam/.opam/5.0/lib/bigarray-compat -I /home/opam/.opam/5.0/lib/camlp-streams -I /home/opam/.opam/5.0/lib/gmp -I /home/opam/.opam/5.0/lib/menhirLib -I /home/opam/.opam/5.0/lib/num -I /home/opam/.opam/5.0/lib/ocaml/str -I /home/opam/.opam/5.0/lib/ocaml/unix -I /home/opam/.opam/5.0/lib/seq -I /home/opam/.opam/5.0/lib/yojson -I /home/opam/.opam/5.0/lib/zarith -I src/.jasmin.objs/byte -I src/.jasmin.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Jasmin_checksafety -o safetylib/.jasmin_checksafety.objs/native/jasmin_checksafety__SafetyInterpreter.cmx -c -impl safetylib/safetyInterpreter.ml)
File "safetylib/safetyInterpreter.ml", line 1372, characters 14-30:
1372 | let s = String.lowercase s in
^^^^^^^^^^^^^^^^
Error: Unbound value String.lowercase
make: *** [Makefile:48: native] Error 1
make: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/jasmin.2023.06.0/compiler'
```

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

mseri.me 191811ee 5d01a8a9

options
unified split
Changed files
+5 -5
packages
jasmin
jasmin.2022.04.0
opam
jasmin.2022.09.0
opam
jasmin.2022.09.2
opam
jasmin.2022.09.3
opam
jasmin.2023.06.0
opam
+1 -1
packages/jasmin/jasmin.2022.04.0/opam 
···

       
12

       
12

       
 

       
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"


     

       
13

       
13

       
 

       



     

       
14

       
14

       
 

       
depends: [


     

       
15

       

       
-

       
  "ocaml" {>= "4.08.0" & build}


     

       

       
15

       
+

       
  "ocaml" {>= "4.08.0" & < "5.0" & build}


     

       
16

       
16

       
 

       
  "batteries" {>= "3.2.0"}


     

       
17

       
17

       
 

       
  "menhir" {>= "20160825" & build }


     

       
18

       
18

       
 

       
  "menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.0/opam 
···

       
12

       
12

       
 

       
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"


     

       
13

       
13

       
 

       



     

       
14

       
14

       
 

       
depends: [


     

       
15

       

       
-

       
  "ocaml" {>= "4.08.0" & build}


     

       

       
15

       
+

       
  "ocaml" {>= "4.08.0" & < "5.0" & build}


     

       
16

       
16

       
 

       
  "batteries" {>= "3.4.0"}


     

       
17

       
17

       
 

       
  "menhir" {>= "20160825" & build}


     

       
18

       
18

       
 

       
  "menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.2/opam 
···

       
12

       
12

       
 

       
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"


     

       
13

       
13

       
 

       



     

       
14

       
14

       
 

       
depends: [


     

       
15

       

       
-

       
  "ocaml" {>= "4.08.0" & build}


     

       

       
15

       
+

       
  "ocaml" {>= "4.08.0" & < "5.0" & build}


     

       
16

       
16

       
 

       
  "batteries" {>= "3.4.0"}


     

       
17

       
17

       
 

       
  "menhir" {>= "20160825" & build}


     

       
18

       
18

       
 

       
  "menhirLib"
+1 -1
packages/jasmin/jasmin.2022.09.3/opam 
···

       
12

       
12

       
 

       
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"


     

       
13

       
13

       
 

       



     

       
14

       
14

       
 

       
depends: [


     

       
15

       

       
-

       
  "ocaml" {>= "4.08.0" & build}


     

       

       
15

       
+

       
  "ocaml" {>= "4.08.0" & < "5.0" & build}


     

       
16

       
16

       
 

       
  "batteries" {>= "3.4.0"}


     

       
17

       
17

       
 

       
  "menhir" {>= "20160825" & build}


     

       
18

       
18

       
 

       
  "menhirLib"
+1 -1
packages/jasmin/jasmin.2023.06.0/opam 
···

       
12

       
12

       
 

       
dev-repo: "git+https://github.com/jasmin-lang/jasmin.git"


     

       
13

       
13

       
 

       



     

       
14

       
14

       
 

       
depends: [


     

       
15

       

       
-

       
  "ocaml" {>= "4.11" & build}


     

       

       
15

       
+

       
  "ocaml" {>= "4.11" & < "5.0" & build}


     

       
16

       
16

       
 

       
  "batteries" {>= "3.4.0"}


     

       
17

       
17

       
 

       
  "menhir" {>= "20160825" & build}


     

       
18

       
18

       
 

       
  "menhirLib"