[isabelle-dev] OCaml 4.06.0 drops nums.cma

Lars Hupel hupel at in.tum.de
Thu Jun 7 09:49:30 CEST 2018

> So we could provide "isabelle opam" as wrapper for something like "opam
> --root $ISABELLE_OPAM_HOME/$ISABELLE_PLATFORM64" as well as "isabelle
> opam_init" for the specific compiler version setup. Our component wiring
> would also provide ISABELLE_OCAML and ISABELLE_OCAMLC settings for the
> result.

Do you intend to provide such a component for the 2018 release?

More information about the isabelle-dev mailing list