src/Pure/System/build.scala
changeset 48883 04cd2fddb4d9
parent 48872 6124e0d1120a
child 48903 1621b3f26095
equal deleted inserted replaced
48882:61dc7d5d150a 48883:04cd2fddb4d9
   352             thy_info.dependencies(
   352             thy_info.dependencies(
   353               info.theories.map(_._2).flatten.
   353               info.theories.map(_._2).flatten.
   354                 map(thy => Document.Node.Name(info.dir + Thy_Load.thy_path(thy))))
   354                 map(thy => Document.Node.Name(info.dir + Thy_Load.thy_path(thy))))
   355 
   355 
   356           val loaded_theories = thy_deps.loaded_theories
   356           val loaded_theories = thy_deps.loaded_theories
   357           val syntax = thy_deps.syntax
   357           val syntax = thy_deps.make_syntax
   358 
   358 
   359           val all_files =
   359           val all_files =
   360             thy_deps.deps.map({ case (n, h) =>
   360             thy_deps.deps.map({ case (n, h) =>
   361               val thy = Path.explode(n.node).expand
   361               val thy = Path.explode(n.node).expand
   362               val uses = h.uses.map(p => (Path.explode(n.dir) + Path.explode(p._1)).expand)
   362               val uses = h.uses.map(p => (Path.explode(n.dir) + Path.explode(p._1)).expand)