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

Manuel Eberl eberlm at in.tum.de
Fri Mar 12 13:24:54 CET 2021


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 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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5574 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210312/37570f01/attachment.bin>


More information about the isabelle-dev mailing list