src/Pure/Admin/build_e.scala

 */
 
 package isabelle
 
 
-object Build_E
-{
+object Build_E {
   /* build E prover */
 
   val default_version = "2.6"
   val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
 
   def build_e(
     version: String = default_version,
     download_url: String = default_download_url,
     verbose: Boolean = false,
     progress: Progress = new Progress,
-    target_dir: Path = Path.current): Unit =
-  {
-    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
-    {
+    target_dir: Path = Path.current
+  ): Unit = {
+    Isabelle_System.with_tmp_dir("build")(tmp_dir => {
       /* component */
 
       val component_name = "e-" + version
       val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))
       progress.echo("Component " + component_dir)

       /* build */
 
       progress.echo("Building E prover for " + platform_name + " ...")
 
       val build_dir = tmp_dir + Path.basic("E")
-      val build_options =
-      {
+      val build_options = {
         val result = Isabelle_System.bash("./configure --help", cwd = build_dir.file)
         if (result.check.out.containsSlice("--enable-ho")) " --enable-ho" else ""
       }
 
       val build_script = "./configure" + build_options + " && make"

 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
     Isabelle_Tool("build_e", "build prover component from source distribution", Scala_Project.here,
-    args =>
-    {
+    args => {
       var target_dir = Path.current
       var version = default_version
       var download_url = default_download_url
       var verbose = false