[isabelle-dev] OCaml 4.06.0 drops nums.cma

[Makarius]

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.


	Makarius