[isabelle-dev] getting development version to work
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:
>> 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
>> this when I get some more time, hints on how to debug this would
>> be well
>> 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
> -- Lars
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev