[isabelle-dev] OCaml 4.06.0 drops nums.cma

Makarius makarius at sketis.net
Thu Mar 14 20:05:38 CET 2019


On 14/03/2019 20:03, Lars Hupel wrote:
> 
> It initially failed because the OCaml people rely on "m4", which
> apparently is not installed by default on modern Ubuntu systems.

None of these ancient build tools are available by default on any
current OS: m4, make, etc. are all evil in some sense.


	Makarius



More information about the isabelle-dev mailing list