[isabelle-dev] Error message "Failed to prepare dependency graph"
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
> 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.
More information about the isabelle-dev