Menhir doesn't install .cmxs of its libraries
The .cmxs
of a library is needed for the dynamic linking of this library and the dynamic linking of libraries that depend on it. Could Menhir compile and install it by default?
The META file should also be modified by adding:
plugin(native) = "menhirLib.cmxs"
Thank you!