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

Peter Lammich lammich at in.tum.de
Fri Mar 12 14:00:14 CET 2021


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 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
> > > 
> > > _______________________________________________
> > > isabelle-dev mailing list
> > > isabelle-dev at in.tum.de
> > > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list