[isabelle-dev] Error message "Failed to prepare dependency graph"

Makarius makarius at sketis.net
Tue Nov 17 15:46:51 CET 2009


On Tue, 17 Nov 2009, Tjark Weber wrote:

> On Tue, 2009-11-17 at 15:18 +0100, Makarius wrote:
>> A repository clone is not a proper distribution, and various parts are
>> missing.  The Admin/build script helps to fill these gaps, notably
>> Admin/build browser
>
> Clemens used to maintain a web page with installation instructions for
> the repository version of Isabelle (at
> http://www4.in.tum.de/~ballarin/isabelle/repository.html).
>
> Unfortunately, this page is now outdated.  Still, the idea seems useful
> to me.

Actually, we do have an explicit README_REPOSITORY, which tells about this 
in the end (among other, more fundamental things).

"Using" a repository clone is even more challenging than "using" a 
development snapshot.  It is basically expected that you make yourself an 
expert of various technicalities.


 	Makarius



More information about the isabelle-dev mailing list