--- a/src/Pure/Thy/sessions.scala Sun May 27 23:15:47 2018 +0200
+++ b/src/Pure/Thy/sessions.scala Mon May 28 11:15:17 2018 +0200
@@ -679,6 +679,15 @@
new Structure(restrict(build_graph), restrict(imports_graph))
}
+ def selection_deps(sel: Selection,
+ progress: Progress = No_Progress,
+ inlined_files: Boolean = false,
+ verbose: Boolean = false): Deps =
+ {
+ Sessions.deps(selection(sel), global_theories,
+ progress = progress, inlined_files = inlined_files, verbose = verbose)
+ }
+
def build_selection(sel: Selection): List[String] = sel.selected(build_graph)
def build_descendants(ss: List[String]): List[String] = build_graph.all_succs(ss)
def build_requirements(ss: List[String]): List[String] = build_graph.all_preds(ss).reverse