src/Pure/Tools/build.scala
changeset 68209 aeffd8f1f079
parent 68204 a554da2811f2
child 68212 5a59fded83c7
     1.1 --- a/src/Pure/Tools/build.scala	Fri May 18 16:30:20 2018 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri May 18 17:09:55 2018 +0200
     1.3 @@ -238,7 +238,7 @@
     1.4            val session_result = Future.promise[Process_Result]
     1.5  
     1.6            Isabelle_Process.start(session, options, logic = parent, cwd = info.dir.file, env = env,
     1.7 -            sessions_structure = Some(deps.sessions_structure), store = store,
     1.8 +            sessions_structure = Some(deps.sessions_structure), store = Some(store),
     1.9              phase_changed =
    1.10              {
    1.11                case Session.Ready => session.protocol_command("build_session", args_yxml)
    1.12 @@ -271,12 +271,12 @@
    1.13                  args =
    1.14                    (for ((root, _) <- Thy_Header.ml_roots) yield List("--use", root)).flatten :::
    1.15                    List("--eval", eval),
    1.16 -                env = env, sessions_structure = Some(deps.sessions_structure), store = store,
    1.17 +                env = env, sessions_structure = Some(deps.sessions_structure), store = Some(store),
    1.18                  cleanup = () => args_file.delete)
    1.19              }
    1.20              else {
    1.21                ML_Process(options, parent, List("--eval", eval), cwd = info.dir.file,
    1.22 -                env = env, sessions_structure = Some(deps.sessions_structure), store = store,
    1.23 +                env = env, sessions_structure = Some(deps.sessions_structure), store = Some(store),
    1.24                  cleanup = () => args_file.delete)
    1.25              }
    1.26  
    1.27 @@ -393,7 +393,7 @@
    1.28    {
    1.29      val build_options = options.int.update("completion_limit", 0).bool.update("ML_statistics", true)
    1.30  
    1.31 -    val store = Sessions.store(system_mode)
    1.32 +    val store = Sessions.store(build_options, system_mode)
    1.33  
    1.34  
    1.35      /* session selection and dependencies */