If the issue comes from the Ubuntu-provided OCaml version having changed, then
opam switch reinstall system may suffice (to rebuild the opam universe on top of the distribution-provided compiler) Otherwise, as François says, using opam switch install 4.05.0 to create a distribution-independent OCaml environment that you control will avoid the issue. (Then you may need to use "opam switch 4.05.0" and "eval $(opam config env)" to get back in this development environment later.) On Fri, Oct 13, 2017 at 4:37 PM, François Bobot <[email protected]> wrote: > Le 13/10/2017 à 16:11, Gerlach, Jens a écrit : >> >> I receive the following error message during upgrade to why3-0.88.0 (on >> xubuntu-17.10) >> >> # Linking bin/why3wc.opt >> # Makefile:1974: recipe for target 'bin/why3wc.opt' failed >> ### stderr ### >> # [...] >> # Warning: you are using the standard library and/or the %inline keyword. >> We >> # recommend switching on --infer in order to avoid obscure type error >> messages. >> # Warning: you are using the standard library and/or the %inline keyword. >> We >> # recommend switching on --infer in order to avoid obscure type error >> messages. >> # File "_none_", line 1: >> # Error: Files /home/jens/.opam/system/lib/zip/zip.cmxa >> # and /usr/lib/ocaml/unix.cmxa >> # make inconsistent assumptions over implementation Unix >> # make: *** [bin/why3wc.opt] Error 2 >> # make: *** Waiting for unfinished jobs.... >> > > Do you also upgraded the OCaml from your distribution? I recommend to not > use the switch "system" in opam, because that complicates things. You could > use opam switch 4.05 to reinstall a new ocaml version (you can look at opam > switch import/export in order to reinstall all opam package from the system > switch) or `opam reinstall system` if you prefer to use the ocaml from the > system. > > hope this help, > > > -- > François > > _______________________________________________ > Why3-club mailing list > [email protected] > https://lists.gforge.inria.fr/mailman/listinfo/why3-club _______________________________________________ Why3-club mailing list [email protected] https://lists.gforge.inria.fr/mailman/listinfo/why3-club
