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
