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

Tue, 17 Nov 2009 15:18:42 +0100 (CET) 

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


        Makarius

Reply via email to