--- a/src/Pure/Admin/build_history.scala Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/build_history.scala Sat Nov 11 16:01:02 2017 +0100
@@ -170,7 +170,8 @@
/* main */
- val other_isabelle = new Other_Isabelle(progress, root, isabelle_identifier)
+ val other_isabelle =
+ Other_Isabelle(root, isabelle_identifier = isabelle_identifier, progress = progress)
val build_host = Isabelle_System.hostname()
val build_history_date = Date.now()
@@ -226,9 +227,10 @@
val build_start = Date.now()
val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args
val build_result =
- (new Other_Isabelle(build_out_progress, root, isabelle_identifier))(
- "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
- strict = false)
+ Other_Isabelle(root, isabelle_identifier = isabelle_identifier,
+ progress = build_out_progress)(
+ "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
+ strict = false)
val build_end = Date.now()
val build_info: Build_Log.Build_Info =
--- a/src/Pure/Admin/build_release.scala Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/build_release.scala Sat Nov 11 16:01:02 2017 +0100
@@ -163,7 +163,8 @@
execute_tar("xzf " + File.bash_path(bundle))
val other_isabelle =
- new Other_Isabelle(progress, tmp_dir + Path.explode(name), name + "-build")
+ Other_Isabelle(tmp_dir + Path.explode(name),
+ isabelle_identifier = name + "-build", progress = progress)
other_isabelle.bash("bin/isabelle build" + jobs_option +
" -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
--- a/src/Pure/Admin/other_isabelle.scala Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sat Nov 11 16:01:02 2017 +0100
@@ -7,7 +7,18 @@
package isabelle
-class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
+object Other_Isabelle
+{
+ def apply(isabelle_home: Path,
+ isabelle_identifier: String,
+ progress: Progress = No_Progress): Other_Isabelle =
+ new Other_Isabelle(isabelle_home, isabelle_identifier, progress)
+}
+
+class Other_Isabelle(
+ val isabelle_home: Path,
+ val isabelle_identifier: String,
+ progress: Progress)
{
other_isabelle =>