--- a/src/Pure/Admin/build_sqlite.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_sqlite.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,15 +7,14 @@
package isabelle
-object Build_SQLite
-{
+object Build_SQLite {
/* build sqlite */
def build_sqlite(
download_url: String,
progress: Progress = new Progress,
- target_dir: Path = Path.current): Unit =
- {
+ target_dir: Path = Path.current
+ ): Unit = {
val Download_Name = """^.*/([^/]+)\.jar""".r
val download_name =
download_url match {
@@ -55,8 +54,7 @@
val jar = component_dir + Path.basic(download_name).ext("jar")
Isabelle_System.download_file(download_url, jar, progress = progress)
- Isabelle_System.with_tmp_dir("sqlite")(jar_dir =>
- {
+ Isabelle_System.with_tmp_dir("sqlite")(jar_dir => {
progress.echo("Unpacking " + jar)
Isabelle_System.bash("isabelle_jdk jar xf " + File.bash_path(jar.absolute),
cwd = jar_dir.file).check
@@ -85,8 +83,7 @@
val isabelle_tool =
Isabelle_Tool("build_sqlite", "build Isabelle sqlite-jdbc component from official download",
- Scala_Project.here, args =>
- {
+ Scala_Project.here, args => {
var target_dir = Path.current
val getopts = Getopts("""