[isabelle-dev] getting development version to work

Aaron Gray aaronngray.lists at gmail.com
Thu Dec 13 01:26:22 CET 2012


I did the ~/.isabelle/etc/settings entry beforehand. The 'contrib' entries
are just missing, they are not listed under a 'Missing Components' category.


On 12 December 2012 09:50, Lars Noschinski <noschinl at in.tum.de> wrote:

> On 11.12.2012 17:57, Aaron Gray wrote:
>> Lars,
>> On 11 December 2012 08:49, Lars Noschinski <noschinl at in.tum.de
>> <mailto:noschinl at in.tum.de>> wrote:
>>     On 10.12.2012 19:54, Aaron Gray wrote:
>>         I cannot get the 'isabelle components -a' to work on Fedora 17,
>>         it just
>>         returns doing nothing at all with no message. I will be looking
>> into
>>         this when I get some more time, hints on how to debug this would
>>         be well
>>         appreciated.
>>     Did you read README_REPOSITORY and added the init_components lines
>>     given there to your ~/.isabelle/etc/settings files? What does
>>     'isabelle components -l' say?
>> Its missing all the 'contrib' directory entries as compared to Ubuntu's.
> Are those entries missing entirely or are they in the 'Missing components'
> category? The former one definitely suggests that you did not add the
> init_components lines to your settings file (are you sure its in the right
> location?). If its the latter and 'isabelle components -a' does not do
> anything, this suggests some problem with the components tool (or its
> dependencies).
>   -- Lars
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20121213/14bff213/attachment-0002.html>

More information about the isabelle-dev mailing list