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

[Fabian Huch]

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