Why3 won't build with 2020XXXX releases of Menhir
Dear Why3 developers,
I am preparing a new release of Menhir where MenhirLib and Menhir are installed by dune
. @kit-ty-kate has pointed out to me that in this new release, no file named menhirLib.cmo
is installed and therefore Why3 (which mentions this file explicitly) will break.
The files that are installed are as follows:
lib/menhirLib/META
lib/menhirLib/dune-package
lib/menhirLib/menhirLib.a
lib/menhirLib/menhirLib.cma
lib/menhirLib/menhirLib.cmi
lib/menhirLib/menhirLib.cmt
lib/menhirLib/menhirLib.cmti
lib/menhirLib/menhirLib.cmx
lib/menhirLib/menhirLib.cmxa
lib/menhirLib/menhirLib.cmxs
lib/menhirLib/menhirLib.ml
lib/menhirLib/menhirLib.mli
If you must refer to a file explicitly, I suppose you should refer to one of those, e.g., menhirLib.cma
.
It would be even better to avoid mentioning any of those files and just indicate that you depend on menhirLib
. This would be easy to do if Why3 itself were built by dune
, but otherwise I am not sure how to do this.