make prepare inside benchmark fails

[ulysses4ever]

I tried to run the benchmarks inside Docker (which I don't believe is relevant to my problem) and got the following error after make prepare inside benchmark:

...
Lexing done.
make -C /pwz/benchmark/gen bench
make[1]: Entering directory '/pwz/benchmark/gen'
make[1]: *** No rule to make target 'menhir/pymen.mli', needed by '/pwz/benchmark/gen/pwz_bench'.  Stop.
make[1]: Leaving directory '/pwz/benchmark/gen'
make: *** [Makefile:172: /pwz/benchmark/gen/pwz_bench] Error 2

After staring at my benchmark/gen/Makefile, the error does make sense. Do you have an idea why you wouldn't get it?

[pdarragh]

Sorry I missed this earlier!

Can you verify that Menhir is installed and accessible via the menhir --version command? I think this error comes up when Menhir is not accessible, if I remember right. When I have some free time this week I'll try to reproduce this error in case this doesn't address it.

For completeness: there is no explicit rule for pymen.mli but it should be handled automatically. Your Makefile does not look any different than I would expect, so I think the issue comes from something else.

[ulysses4ever]

I’m sorry I meant to answer this week but didn’t get to following your advice. I’ll get back to it this week, hopefully.

[Thogsit]

I had the same problem which arised from not using the exact same OCaml library versions mentioned in the README. Running opam install core.v0.11.3 core_bench.v0.11.0 menhir.20200211 dypgen.20120619-1 -y instead of opam install core core_bench menhir dypgen -y should fix the problem if anyone else encounters it.