Re: [isabelle] export code checking OCaml: zarith not found



> In principle it is meant to work via "isabelle ocaml_setup", which
> takes care
> of opam by itself.
> 
> But opam is not very robust and has implicit dependencies that need
> to be
> satisfied separately. E.g. on Ubuntu 20.04 LTS, I have something like
> libzarith-ocaml, libgmp-dev, m4 --- maybe more that I have forgotten.

I installed those 3 packages, ran isabelle ocaml_setup, and now
everything works.

Thanks a lot!

--
  Peter





> 
> 
> 	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.