SRI-CSL/parsley-lang

Following tutorial, dune tool versioning error

petervwyatt opened this issue · 2 comments

I'm on Ubuntu 20.04 under WSL2 and following the instructions in the Parsley tutorial, however I get a dune version error when running "make". AFACIT these are all the default package versions supplied via apt-get under Ubuntu 20.04 :

pwyatt@PETER-SURFACEBOOK:/mnt/c/Temp/share/parsley-lang$ make
dune build
File "dune-project", line 1, characters 11-14:
1 | (lang dune 2.7)
               ^^^
Error: Version 2.7 of dune is not supported.
Supported versions:
- 1.0 to 1.12
- 2.0 to 2.1
make: *** [Makefile:4: all] Error 1
pwyatt@PETER-SURFACEBOOK:/mnt/c/Temp/share/parsley-lang$ opam --version
2.0.5
pwyatt@PETER-SURFACEBOOK:/mnt/c/Temp/share/parsley-lang$ dune --version
2.1.3
pwyatt@PETER-SURFACEBOOK:/mnt/c/Temp/share/parsley-lang$ ocaml --version
The OCaml toplevel, version 4.08.1

Can you upgrade?

Hi Peter, thanks for the issue report. Could you check if the following dune-project file works for you?

(lang dune 2.1)
(using menhir 2.0)

@pmundkur Yes that works for me. Thanks.