[isabelle-dev] Isabelle repository version, problems starting up

[Peter Lammich]

Hi,

I'm trying to start the Isabelle repo version, but only get as far as

peter at peterXps:~/devel/Isabelle-devel$ ./bin/isabelle
### Building Isabelle/Scala ...
Unknown JAVA_HOME -- Java unavailable
Failed to compile sources
peter at peterXps:~/devel/Isabelle-devel$ echo $JAVA_HOME
/usr/lib/jvm/java-14-openjdk-amd64


My machine is brand new, so I might be lacking some prerequisites?
Isabelle2021 runs without problems.


--
  Peter


peter at peterXps:~/devel/Isabelle-devel$ hg tip
changeset:   73411:1f1366966296
tag:         tip
user:        haftmann
date:        Thu Mar 11 07:05:38 2021 +0000
summary:     avoid name clash