Menhir doesn't install .cmxs of its libraries
.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"
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information