[isabelle-dev] OCaml 4.06.0 drops nums.cma

[Makarius]

On 21/03/2019 16:26, Lars Hupel wrote:
>> Hopefully that is sufficient. OPAM is overall a bit fragile: some Coq
>> guys have told me that they regret depending on it.
> 
> We'll have to see. The current situation is that I temporarily have no
> access to the build machines, so the build will have to stay red for a
> while, much to the disadvantage of people who rely on it.

BTW, on Ubuntu 18.04 the most basic way is to install the ocaml and
libzarith-ocaml packages, and put this into etc/settings:

  ISABELLE_OCAMLFIND="ocamlfind"


	Makarius