--- a/src/Tools/VSCode/src/build_vscode_extension.scala Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Tools/VSCode/src/build_vscode_extension.scala Fri Apr 01 23:19:12 2022 +0200
@@ -157,7 +157,7 @@
/* build */
val vsix_name =
- Isabelle_System.with_tmp_dir("build")(build_dir => {
+ Isabelle_System.with_tmp_dir("build") { build_dir =>
val manifest_text = File.read(VSCode_Main.extension_dir + VSCode_Main.MANIFEST)
val manifest_entries = split_lines(manifest_text).filter(_.nonEmpty)
val manifest_shasum: String = {
@@ -185,7 +185,7 @@
Isabelle_System.copy_file(build_dir + Path.basic(vsix_name), component_dir)
vsix_name
- })
+ }
/* settings */
@@ -215,12 +215,12 @@
val isabelle_tool =
Isabelle_Tool("build_vscode_extension", "build Isabelle/VSCode extension module",
Scala_Project.here,
- args => {
- var target_dir = Path.current
- var dirs: List[Path] = Nil
- var logic = default_logic
+ { args =>
+ var target_dir = Path.current
+ var dirs: List[Path] = Nil
+ var logic = default_logic
- val getopts = Getopts("""
+ val getopts = Getopts("""
Usage: isabelle build_vscode_extension
Options are:
@@ -231,17 +231,17 @@
Build the Isabelle/VSCode extension as component, for inclusion into the
local VSCodium configuration.
""",
- "D:" -> (arg => target_dir = Path.explode(arg)),
- "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
- "l:" -> (arg => logic = arg))
+ "D:" -> (arg => target_dir = Path.explode(arg)),
+ "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
+ "l:" -> (arg => logic = arg))
- val more_args = getopts(args)
- if (more_args.nonEmpty) getopts.usage()
+ val more_args = getopts(args)
+ if (more_args.nonEmpty) getopts.usage()
- val options = Options.init()
- val progress = new Console_Progress()
+ val options = Options.init()
+ val progress = new Console_Progress()
- build_extension(options, target_dir = target_dir, logic = logic, dirs = dirs,
- progress = progress)
- })
+ build_extension(options, target_dir = target_dir, logic = logic, dirs = dirs,
+ progress = progress)
+ })
}