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
Thanks a lot!
This archive was generated by a fusion of
Pipermail (Mailman edition) and