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

[Manuel Eberl]

Note that this is documented in ~~/README_REPOSITORY.

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
> 

-------------- 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/c17e38ff/attachment-0001.bin>