Have you done the usual "isabelle components -a"? Manuel
On 12/03/2021 13:23, Peter Lammich wrote: > Hi, > > I'm trying to start the Isabelle repo version, but only get as far as > > peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle > ### Building Isabelle/Scala ... > Unknown JAVA_HOME -- Java unavailable > Failed to compile sources > peter@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@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 > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
