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

[Peter Lammich]

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 at peterXps:~/devel/Isabelle-devel$ ./bin/isabelle components -a
peter at 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 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
> > 
> > _______________________________________________
> > isabelle-dev mailing list
> > isabelle-dev at in.tum.de
> > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> > 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev