src/Pure/Tools/build.scala
changeset 65431 4a3e6cda3b94
parent 65422 b606c98e6d10
child 65432 d938705819bb
     1.1 --- a/src/Pure/Tools/build.scala	Fri Apr 07 18:26:30 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Apr 07 19:35:39 2017 +0200
     1.3 @@ -197,6 +197,10 @@
     1.4        Future.thread("build") {
     1.5          val parent = info.parent.getOrElse("")
     1.6  
     1.7 +        val known_theories =
     1.8 +          for ((theory, node_name) <- deps(name).known_theories.toList)
     1.9 +            yield (theory, node_name.node)
    1.10 +
    1.11          val args_yxml =
    1.12            YXML.string_of_body(
    1.13              {
    1.14 @@ -204,11 +208,13 @@
    1.15                pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool,
    1.16                  pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
    1.17                  pair(string, pair(string, pair(string, pair(Path.encode,
    1.18 -                list(pair(Options.encode, list(string))))))))))))))(
    1.19 +                pair(list(pair(Options.encode, list(string))),
    1.20 +                list(pair(string, string))))))))))))))(
    1.21                (Symbol.codes, (command_timings, (do_output, (verbose,
    1.22                  (store.browser_info, (info.document_files, (File.standard_path(graph_file),
    1.23                  (parent, (info.chapter, (name, (Path.current,
    1.24 -                info.theories))))))))))))
    1.25 +                (info.theories,
    1.26 +                known_theories)))))))))))))
    1.27              })
    1.28  
    1.29          val env =