src/Pure/Tools/build.scala
changeset 59444 d57e275b2d82
parent 59369 7090199d3f78
child 59445 2c27c3d1fd3b
     1.1 --- a/src/Pure/Tools/build.scala	Sun Jan 25 20:16:27 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Jan 25 20:22:20 2015 +0100
     1.3 @@ -416,7 +416,8 @@
     1.4      known_theories: Map[String, Document.Node.Name],
     1.5      keywords: Thy_Header.Keywords,
     1.6      syntax: Outer_Syntax,
     1.7 -    sources: List[(Path, SHA1.Digest)])
     1.8 +    sources: List[(Path, SHA1.Digest)],
     1.9 +    session_graph: Graph_Display.Graph)
    1.10  
    1.11    sealed case class Deps(deps: Map[String, Session_Content])
    1.12    {
    1.13 @@ -494,8 +495,11 @@
    1.14  
    1.15              val sources = all_files.map(p => (p, SHA1.digest(p.file)))
    1.16  
    1.17 +            val session_graph = thy_deps.deps_graph(info.parent getOrElse "", loaded_theories0)
    1.18 +
    1.19              val content =
    1.20 -              Session_Content(loaded_theories, known_theories, keywords, syntax, sources)
    1.21 +              Session_Content(loaded_theories, known_theories, keywords, syntax,
    1.22 +                sources, session_graph)
    1.23              deps + (name -> content)
    1.24            }
    1.25            catch {