Closed jirkadanek closed 7 years ago
I am still looking in vain for a duplicate report of this. I cannot imagine how it could affect only me...
Thanks for the report, this is due to a recent incompatible change in opam that is affecting our latest release: https://github.com/ocaml/opam-repository/pull/10047
I am having the same issue with exactly the same output. In order to apply your patch to the image, I added the following two lines in the Dockerfile (just after the download of the latest Infer release):
RUN sed -i 's/cppo = 1\.4\.1/cppo = 1.6.0/' /infer/opam.lock
RUN sed -i 's/jbuilder = 1\.0+beta6/jbuilder = 1.0+beta10/' /infer/opam.lock
I know is not a solution but it will allow to build the image
This help me. Ths.
When following the Docker build instructions (with Infer version 0.12.0), the build fails on the following error.
When I execute the
opam install
command on my physical machine, I get the following error.I managed to build 0.12.0 when I edited the Dockerfile to apply the following patch before build.