[isabelle-dev] getting development version to work
makarius at sketis.net
Tue Dec 11 17:33:45 CET 2012
On Mon, 10 Dec 2012, Aaron Gray wrote:
> I have managed to get the mercurial repository based development version
> working on Ubuntu 12.10 LTE. It did require installing a CPAN module :-
> perl -MCPAN -e 'install LWP::Simple'
That is basically the same dependency that is already mentioned on the
regular Isabelle download page: "libwww" in most Linux distributions. I
was half aware of it, but unsure if I should add more explanations in the
README_REPOSITORY or avoid that dependency by shuffling perl / wget / curl.
> Also the repository seems to be missing the documents in the 'docs'
You can use "isabelle build_doc -a" to rebuild the docs, one that
everything is up and running. The docs need a lot of latexextra stuff,
> I cannot get the 'isabelle components -a' to work on Fedora 17, it just
> returns doing nothing at all with no message.
Lars has already pointed out "isabelle components -l". The "system"
manual also explains that command, but it poses a bootstrap problem here.
Lets see how you get on. We shall take the opportunity to sort out fine
points of people trying this for the very first time, so that it becomes
even more smooth the next time. Nonetheless, direct repository access is
not regular use, so some work needs to be invested by anyone embarking on
that as early adopter.
And it should definitely work with Cygwin as well: I am doing that myself
all the time.
More information about the isabelle-dev