Getting a makefile error when running make in the root directory

[ingmarfjolla]

Hello, I'm running into this error:

File "generated_definitions/lem/RV64/riscv.lem", line 18571, character 7:
  Syntax error
make: *** [Makefile:330: generated_definitions/isabelle/RV64/Riscv.thy] Error 1

when running make after cloning this repo.

I'm using an Ubuntu container, with opam --version 2.1.2 , The OCaml toplevel, version 5.1.0 , and Sail 0.17.1 (sail @ opam-v2.1.2). Any help in debugging would be appreciated, not sure if I missed anything else. I have Isabelle and Coq on my path as well. I followed the documentation here: https://github.com/rems-project/sail/blob/sail2/INSTALL.md to install sail and get the other system dependencies mentioned.

Thank you!

[ingmarfjolla]

This is what's at line 18,571 , not sure how it differs from the other lines

[jrtc27]

Duplicate of #325

[Alasdair]

See #353 and the comment I made in #325