[isabelle-dev] Cannot build HOL (again)

[Lawrence Paulson]

Then I get 

Unknown JAVA_HOME -- Java unavailable


Larry

> On 21 May 2018, at 18:17, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> 
> Do the problems persist if you remove ~/.isabelle e.g. to ~/.isabelle_tmp?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180522/02c71516/attachment-0002.html>