[isabelle-dev] OCaml 4.06.0 drops nums.cma

Lars Hupel hupel at in.tum.de
Thu Mar 14 20:03:12 CET 2019

> OK. This is running now in testboard:
> <https://ci.isabelle.systems/jenkins/job/testboard/172/consoleFull>
> The corresponding changeset is
> <https://isabelle.in.tum.de/repos/testboard/rev/6d768e0eeaaf>.

I have discarded my changeset now, because Florian has pushed an 
alternative solution. Here it is running:


It initially failed because the OCaml people rely on "m4", which 
apparently is not installed by default on modern Ubuntu systems.

More information about the isabelle-dev mailing list