You probably need to initialize the user settings first with "isabelle
components -I" if it's a new machine.
Fabian
On 3/12/21 1:34 PM, 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
