tuned signature;
authorwenzelm
Sat Nov 11 16:01:02 2017 +0100 (19 months ago)
changeset 670456c94f749410a
parent 67044 3d81a1a67302
child 67046 897f1ac84aab
tuned signature;
src/Pure/Admin/build_history.scala
src/Pure/Admin/build_release.scala
src/Pure/Admin/other_isabelle.scala
     1.1 --- a/src/Pure/Admin/build_history.scala	Sat Nov 11 15:52:07 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_history.scala	Sat Nov 11 16:01:02 2017 +0100
     1.3 @@ -170,7 +170,8 @@
     1.4  
     1.5      /* main */
     1.6  
     1.7 -    val other_isabelle = new Other_Isabelle(progress, root, isabelle_identifier)
     1.8 +    val other_isabelle =
     1.9 +      Other_Isabelle(root, isabelle_identifier = isabelle_identifier, progress = progress)
    1.10  
    1.11      val build_host = Isabelle_System.hostname()
    1.12      val build_history_date = Date.now()
    1.13 @@ -226,9 +227,10 @@
    1.14        val build_start = Date.now()
    1.15        val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args
    1.16        val build_result =
    1.17 -        (new Other_Isabelle(build_out_progress, root, isabelle_identifier))(
    1.18 -          "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
    1.19 -          strict = false)
    1.20 +        Other_Isabelle(root, isabelle_identifier = isabelle_identifier,
    1.21 +          progress = build_out_progress)(
    1.22 +            "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
    1.23 +            strict = false)
    1.24        val build_end = Date.now()
    1.25  
    1.26        val build_info: Build_Log.Build_Info =
     2.1 --- a/src/Pure/Admin/build_release.scala	Sat Nov 11 15:52:07 2017 +0100
     2.2 +++ b/src/Pure/Admin/build_release.scala	Sat Nov 11 16:01:02 2017 +0100
     2.3 @@ -163,7 +163,8 @@
     2.4              execute_tar("xzf " + File.bash_path(bundle))
     2.5  
     2.6              val other_isabelle =
     2.7 -              new Other_Isabelle(progress, tmp_dir + Path.explode(name), name + "-build")
     2.8 +              Other_Isabelle(tmp_dir + Path.explode(name),
     2.9 +                isabelle_identifier = name + "-build", progress = progress)
    2.10  
    2.11              other_isabelle.bash("bin/isabelle build" + jobs_option +
    2.12                  " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
     3.1 --- a/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 15:52:07 2017 +0100
     3.2 +++ b/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 16:01:02 2017 +0100
     3.3 @@ -7,7 +7,18 @@
     3.4  package isabelle
     3.5  
     3.6  
     3.7 -class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
     3.8 +object Other_Isabelle
     3.9 +{
    3.10 +  def apply(isabelle_home: Path,
    3.11 +      isabelle_identifier: String,
    3.12 +      progress: Progress = No_Progress): Other_Isabelle =
    3.13 +    new Other_Isabelle(isabelle_home, isabelle_identifier, progress)
    3.14 +}
    3.15 +
    3.16 +class Other_Isabelle(
    3.17 +  val isabelle_home: Path,
    3.18 +  val isabelle_identifier: String,
    3.19 +  progress: Progress)
    3.20  {
    3.21    other_isabelle =>
    3.22