src/Pure/Admin/build_zipperposition.scala

--- a/src/Pure/Admin/build_zipperposition.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -19,7 +19,7 @@
     progress: Progress = new Progress,
     target_dir: Path = Path.current
   ): Unit = {
-    Isabelle_System.with_tmp_dir("build")(build_dir => {
+    Isabelle_System.with_tmp_dir("build") { build_dir =>
       if (Platform.is_linux) Isabelle_System.require_command("patchelf")
 
 
@@ -83,7 +83,7 @@
 
         Makarius
         """ + Date.Format.date(Date.now()) + "\n")
-    })
+    }
 }
 
 
@@ -91,12 +91,13 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_zipperposition", "build prover component from OPAM repository",
-      Scala_Project.here, args => {
-      var target_dir = Path.current
-      var version = default_version
-      var verbose = false
+      Scala_Project.here,
+      { args =>
+        var target_dir = Path.current
+        var version = default_version
+        var verbose = false
 
-      val getopts = Getopts("""
+        val getopts = Getopts("""
 Usage: isabelle build_zipperposition [OPTIONS]
 
   Options are:
@@ -106,16 +107,16 @@
 
   Build prover component from OPAM repository.
 """,
-        "D:" -> (arg => target_dir = Path.explode(arg)),
-        "V:" -> (arg => version = arg),
-        "v" -> (_ => verbose = true))
+          "D:" -> (arg => target_dir = Path.explode(arg)),
+          "V:" -> (arg => version = arg),
+          "v" -> (_ => verbose = true))
 
-      val more_args = getopts(args)
-      if (more_args.nonEmpty) getopts.usage()
+        val more_args = getopts(args)
+        if (more_args.nonEmpty) getopts.usage()
 
-      val progress = new Console_Progress()
+        val progress = new Console_Progress()
 
-      build_zipperposition(version = version, verbose = verbose, progress = progress,
-        target_dir = target_dir)
-    })
+        build_zipperposition(version = version, verbose = verbose, progress = progress,
+          target_dir = target_dir)
+      })
 }