tuned;
authorwenzelm
Tue Mar 13 18:28:12 2018 +0100 (14 months ago)
changeset 67846bdf6933f7ac9
parent 67845 46fa8c2c142a
child 67847 c61acb4855b6
tuned;
src/Pure/ML/ml_console.scala
src/Pure/Thy/sessions.scala
src/Pure/Tools/build.scala
src/Tools/VSCode/src/server.scala
src/Tools/jEdit/src/jedit_sessions.scala
     1.1 --- a/src/Pure/ML/ml_console.scala	Tue Mar 13 17:15:01 2018 +0100
     1.2 +++ b/src/Pure/ML/ml_console.scala	Tue Mar 13 18:28:12 2018 +0100
     1.3 @@ -52,14 +52,14 @@
     1.4  
     1.5        // build
     1.6        if (!no_build && !raw_ml_system &&
     1.7 -          !Build.build(options = options, build_heap = true, no_build = true,
     1.8 +          !Build.build(options, build_heap = true, no_build = true,
     1.9              dirs = dirs, system_mode = system_mode, sessions = List(logic)).ok)
    1.10        {
    1.11          val progress = new Console_Progress()
    1.12          progress.echo("Build started for Isabelle/" + logic + " ...")
    1.13          progress.interrupt_handler {
    1.14            val res =
    1.15 -            Build.build(options = options, progress = progress, build_heap = true,
    1.16 +            Build.build(options, progress = progress, build_heap = true,
    1.17                dirs = dirs, system_mode = system_mode, sessions = List(logic))
    1.18            if (!res.ok) sys.exit(res.rc)
    1.19          }
     2.1 --- a/src/Pure/Thy/sessions.scala	Tue Mar 13 17:15:01 2018 +0100
     2.2 +++ b/src/Pure/Thy/sessions.scala	Tue Mar 13 18:28:12 2018 +0100
     2.3 @@ -367,7 +367,8 @@
     2.4      def check_base: Base = if (errors.isEmpty) base else error(cat_lines(errors))
     2.5    }
     2.6  
     2.7 -  def base_info(options: Options, session: String,
     2.8 +  def base_info(options: Options,
     2.9 +    session: String,
    2.10      dirs: List[Path] = Nil,
    2.11      ancestor_session: Option[String] = None,
    2.12      all_known: Boolean = false,
     3.1 --- a/src/Pure/Tools/build.scala	Tue Mar 13 17:15:01 2018 +0100
     3.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 13 18:28:12 2018 +0100
     3.3 @@ -770,7 +770,8 @@
     3.4  
     3.5      val results =
     3.6        progress.interrupt_handler {
     3.7 -        build(options, progress,
     3.8 +        build(options,
     3.9 +          progress = progress,
    3.10            check_unknown_files = Mercurial.is_repository(Path.explode("~~")),
    3.11            build_heap = build_heap,
    3.12            clean_build = clean_build,
     4.1 --- a/src/Tools/VSCode/src/server.scala	Tue Mar 13 17:15:01 2018 +0100
     4.2 +++ b/src/Tools/VSCode/src/server.scala	Tue Mar 13 18:28:12 2018 +0100
     4.3 @@ -252,8 +252,8 @@
     4.4  
     4.5      val try_session =
     4.6        try {
     4.7 -        if (!Build.build(options = options, build_heap = true, no_build = true,
     4.8 -              system_mode = system_mode, dirs = session_dirs, sessions = List(session_name)).ok)
     4.9 +        if (!Build.build(options, build_heap = true, no_build = true,
    4.10 +            system_mode = system_mode, dirs = session_dirs, sessions = List(session_name)).ok)
    4.11          {
    4.12            val start_msg = "Build started for Isabelle/" + session_name + " ..."
    4.13            val fail_msg = "Session build failed -- prover process remains inactive!"
    4.14 @@ -261,7 +261,7 @@
    4.15            val progress = channel.make_progress(verbose = true)
    4.16            progress.echo(start_msg); channel.writeln(start_msg)
    4.17  
    4.18 -          if (!Build.build(options = options, progress = progress, build_heap = true,
    4.19 +          if (!Build.build(options, progress = progress, build_heap = true,
    4.20                system_mode = system_mode, dirs = session_dirs, sessions = List(session_name)).ok)
    4.21            {
    4.22              progress.echo(fail_msg); error(fail_msg)
     5.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Tue Mar 13 17:15:01 2018 +0100
     5.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Tue Mar 13 18:28:12 2018 +0100
     5.3 @@ -124,8 +124,8 @@
     5.4    {
     5.5      val mode = session_build_mode()
     5.6  
     5.7 -    Build.build(options = session_options(options), progress = progress,
     5.8 -      build_heap = true, no_build = no_build, system_mode = mode == "" || mode == "system",
     5.9 +    Build.build(session_options(options), progress = progress, build_heap = true,
    5.10 +      no_build = no_build, system_mode = mode == "" || mode == "system",
    5.11        dirs = session_dirs(), infos = PIDE.resources.session_base_info.infos,
    5.12        sessions = List(PIDE.resources.session_name)).rc
    5.13    }