[isabelle-dev] OCaml 4.06.0 drops nums.cma

Makarius makarius at sketis.net
Thu Mar 21 16:20:38 CET 2019

On 21/03/2019 16:12, Makarius wrote:
> On 21/03/2019 16:08, Makarius wrote:
>> 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.
> The above still holds, but I also need to refine 772bdd1ed843 once more,
> to make it really robust.

See now:

changeset:   69942:2c48be88f847
tag:         tip
user:        wenzelm
date:        Thu Mar 21 16:16:43 2019 +0100
files:       lib/Tools/ocaml_setup
further robustification (amending 772bdd1ed843);

Hopefully that is sufficient. OPAM is overall a bit fragile: some Coq
guys have told me that they regret depending on it.


More information about the isabelle-dev mailing list