--- a/src/Pure/Tools/build.scala Sun Apr 10 22:27:05 2016 +0200
+++ b/src/Pure/Tools/build.scala Sun Apr 10 22:27:43 2016 +0200
@@ -281,7 +281,9 @@
val process =
if (Sessions.pure_name(name)) {
ML_Process(info.options, raw_ml_system = true, cwd = info.dir.file,
- args = List("--use", "ROOT0.ML", "--use", "ROOT.ML", "--eval", eval),
+ args =
+ (for ((root, _) <- Thy_Header.ml_roots) yield List("--use", root)).flatten :::
+ List("--eval", eval),
env = env, tree = Some(tree), store = store, cleanup = () => args_file.delete)
}
else {