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

Makarius makarius at sketis.net
Tue Nov 17 15:18:42 CET 2009

On Tue, 17 Nov 2009, Andreas Lochbihler wrote:

> I tried to build (my own version of) JinjaThreads with the Isabelle 
> repository version 8cce3a34c122, but it failed with the error message 
> "Failed to prepare dependency graph". The log of the run ends with:

> *** Failed to prepare dependency graph

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


More information about the isabelle-dev mailing list