On 21/03/2019 16:26, Lars Hupel wrote:
>> Hopefully that is sufficient. OPAM is overall a bit fragile: some Coq
>> guys have told me that they regret depending on it.
>
> We'll have to see. The current situation is that I temporarily have no
> access to the build machines, so the build will have to stay red for a
> while, much to the disadvantage of people who rely on it.
BTW, on Ubuntu 18.04 the most basic way is to install the ocaml and
libzarith-ocaml packages, and put this into etc/settings:
ISABELLE_OCAMLFIND="ocamlfind"
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
