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
Error: The implementation lib/KV_RO.m does not match the interface lib/KV_RO.cmi #54
Comments
Sorry for the delayed response, @uvgroovy . The current master of
|
That seems to work. Thanks! Is there any way to pin the specific version of mirage-dev in "opam remote add mirage-dev https://github.com/mirage/mirage-dev.git"? My goal is to guarantee that the container build will not fail in the future. |
Unfortunately
|
That last example gave me build errors - so going to use the previous one. Thanks! |
Sorry to bring this thread back from the dead. @yomimono I'm running the command as you've typed it: RUN opam init -y && cd /tmp/ && \
opam remote add mirage-dev https://github.com/mirage/mirage-dev.git && \
opam update && \
git clone https://github.com/mirage/ocaml-fat && \
cd /tmp/ocaml-fat && \
opam pin add ocaml-fat . -n -y && \
opam install ocaml-fat --verbose I've also tried your other suggestion: RUN opam init -y && cd /tmp/ && \
opam source fat-filesystem --dir ocaml-fat && \
cd /tmp/ocaml-fat && \
opam pin add ocaml-fat . -n -y && \
opam install ocaml-fat --verbose But am getting the following error: [NOTE] No package definition found for ocaml-fat.~dev: please complete the template
Error opening terminal: unknown.
[ERROR] Empty file or editor error, aborting.
[ERROR] No valid package definition found I don't quite understand the error about a missing package def for ocaml-fat.~dev. Thanks for any help. |
dear @adam-hanna, the opam package name of this repository is |
Got an error trying to build mirage-fat, (I am trying to get the fat binary built), I get this error message:
I used this Dockerfile to build mirage-fat:
(place it in an empty folder and do
docker build .
)I tried checking out and building old versions, going back to early September, all failed..
Help is appreciated!
Yuval
The text was updated successfully, but these errors were encountered: