I receive the following error message during upgrade to why3-0.88.0 (on xubuntu-17.10)
Regards Jens # 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.... Am 13.10.17, 14:09 schrieb "Gabriel Scherer" <[email protected]>: Thanks for the ping! The package should now be available on opam. Note that a 4.06-compatible release would get included even faster :-) On Fri, Oct 13, 2017 at 1:40 PM, Mohamed Iguernlala <[email protected]> wrote: > Hello, > > OPAM repository's continuous integration tools are becoming > really strict and check a lot of situations and cases before a > new package is accepted. > > Why3 0.88.0 has been proposed 7 days ago, but it's still not > included in the repo: > > https://github.com/ocaml/opam-repository/pull/10413 > > -Mohamed. > > > > On 13/10/2017 12:54, Gerlach, Jens wrote: >> >> Hello, >> >> I have seen the announcement for why3-0.88.0 but it is not yet available >> through opam. >> Is there a particular reason for this? >> >> Regards >> >> Jens >> >> >> >> _______________________________________________ >> 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 _______________________________________________ Why3-club mailing list [email protected] https://lists.gforge.inria.fr/mailman/listinfo/why3-club
