Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build instructions in HACKING.adoc fail with Menhir-related errors #2433

Closed
OlivierNicole opened this issue Apr 11, 2024 · 3 comments
Closed

Comments

@OlivierNicole
Copy link
Contributor

The current instructions in HACKING.adoc do not seem to work. I followed them closely, and after the configure step, doing make _install yields errors about the menhir executable not being in PATH. Installing menhir and trying again gives what seems to be a version error:

RUNTIME_DIR=runtime4 /home/olivier/.opam/4.14.2/bin/dune build --root=. --workspace=duneconf/boot.ws  ocaml/main_native.exe boot_ocamlopt.exe ocaml/tools/ocamlmklib.exe ocaml/tools/ocamldep.exe tools/flambda_backend_objinfo.exe
File "middle_end/flambda2/parser/flambda_parser.ml", line 5, characters 2-54:
5 |   CamlinternalMenhirLib.StaticVersion.require_20210419
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value CamlinternalMenhirLib.StaticVersion.require_20210419
File "ocaml/parser.pp.ml", line 5, characters 2-42:
5 |   MenhirLib.StaticVersion.require_20210419
      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value MenhirLib.StaticVersion.require_20210419
make: *** [ocaml/Makefile.common-jst:66: boot-compiler] Error 1

And this, even if I pin Menhir to version 20210419.

@goldfirere
Copy link
Collaborator

I think I've hit that. Clean out your build products with git clean -Xdf and try again, now that you've pinned menhir.

@OlivierNicole
Copy link
Contributor Author

Thanks, that did work. The mention that (a specific version of) menhir is needed is missing though, I’ll open a PR about that.

@OlivierNicole
Copy link
Contributor Author

Fixed by #2435.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants