Lars, I did the ~/.isabelle/etc/settings entry beforehand. The 'contrib' entries are just missing, they are not listed under a 'Missing Components' category.
Aaron On 12 December 2012 09:50, Lars Noschinski <[email protected]> wrote: > On 11.12.2012 17:57, Aaron Gray wrote: > >> Lars, >> >> On 11 December 2012 08:49, Lars Noschinski <[email protected] >> <mailto:[email protected]>> 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 >
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
