On Fri, 2021-03-12 at 13:54 +0100, Manuel Eberl wrote: > Note that this is documented in ~~/README_REPOSITORY.
Oh, I overlooked README_REPOSITORY. I checked README, but there is no reference to README_REPOSITORY in there, though it knows that it is a repository version! " Version information ------------------- This is some repository version of Isabelle. See the NEWS file in the distribution for details on user-relevant changes. " -- Peter > > Manuel > > > On 12/03/2021 13:41, Peter Lammich wrote: > > Apparently, a > > > > isabelle components -I > > > > is required to set up the whole thing. > > The error message when there is no such setup could be better, > > though. > > > > -- > > Peter > > > > On Fri, 2021-03-12 at 12:34 +0000, Peter Lammich wrote: > > > On Fri, 2021-03-12 at 13:24 +0100, Manuel Eberl wrote: > > > > Have you done the usual "isabelle components -a"? > > > > > > I would like to, but it has no effect. Produces no output, and > > > returns > > > with exit-code 0. > > > > > > peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle components > > > -a > > > peter@peterXps:~/devel/Isabelle-devel$ echo $? > > > 0 > > > > > > > > > > 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 > > > > > > > > > > > > > _______________________________________________ > > > > isabelle-dev mailing list > > > > [email protected] > > > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > > > > > > _______________________________________________ > > > isabelle-dev mailing list > > > [email protected] > > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
