[isabelle-dev] NEWS: support for OCaml / OPAM

Lars Hupel hupel at in.tum.de
Mon Oct 8 17:09:24 CEST 2018


>   * How to re-init the opam installation, e.g. after changing
> ISABELLE_OCAML_VERSION (maybe even in ISABELLE_HOME_USER/etc/settings)?
>     (Presently I have just removed purged ISABELLE_OPAM_ROOT.)

I don't think purging the directory is necessary. It should work out of
the box. According to my experiments, opam will just install another
OCaml version side-by-side.

>   * Is the update of ~/.ocamlinit that is proposed by opam init required?

Probably not.



More information about the isabelle-dev mailing list