[isabelle-dev] OCaml 4.06.0 drops nums.cma

Makarius makarius at sketis.net
Thu Mar 21 16:08:42 CET 2019


On 21/03/2019 16:02, Lars Hupel wrote:
>>   * Update to OPAM 2.0.3: this is the latest version, and the one that
>> the current Cygwin 3.0.4 provides.
> 
> This broke idempotency (or maybe something else?):
> 
> + bin/isabelle ocaml_setup
> [ERROR] There already is an installed switch named
> ocaml-base-compiler.4.05.0

I have forgotten to say that both "isabelle ghc_setup" and "isabelle
ocaml_setup" should be run afresh, with empty or non-existant .stack /
.opam directories.

(On the isabelle-dev repository it is normal that things can change in
incompatible ways.)


	Makarius



More information about the isabelle-dev mailing list