src/Pure/Admin/build_vampire.scala

--- a/src/Pure/Admin/build_vampire.scala	Sat Mar 04 22:29:21 2023 +0100
+++ b/src/Pure/Admin/build_vampire.scala	Sat Mar 04 23:25:30 2023 +0100
@@ -21,7 +21,6 @@
     download_url: String = default_download_url,
     jobs: Int = default_jobs,
     component_name: String = "",
-    verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current
   ): Unit = {
@@ -80,14 +79,14 @@
       val cmake_opts = if (Platform.is_linux) "-DBUILD_SHARED_LIBS=0 " else ""
       val cmake_out =
         progress.bash("cmake " + cmake_opts + """-G "Unix Makefiles" .""",
-          cwd = source_dir.file, echo = verbose).check.out
+          cwd = source_dir.file, echo = progress.verbose).check.out
 
       val Pattern = """-- Setting binary name to '?([^\s']*)'?""".r
       val binary =
         split_lines(cmake_out).collectFirst({ case Pattern(name) => name })
           .getOrElse(error("Failed to determine binary name from cmake output:\n" + cmake_out))
 
-      progress.bash("make -j" + jobs, cwd = source_dir.file, echo = verbose).check
+      progress.bash("make -j" + jobs, cwd = source_dir.file, echo = progress.verbose).check
 
       Isabelle_System.copy_file(source_dir + Path.basic("bin") + Path.basic(binary).platform_exe,
         platform_dir + Path.basic("vampire").platform_exe)
@@ -151,9 +150,9 @@
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
-      val progress = new Console_Progress()
+      val progress = new Console_Progress(verbose = verbose)
 
       build_vampire(download_url = download_url, component_name = component_name,
-        jobs = jobs, verbose = verbose, progress = progress, target_dir = target_dir)
+        jobs = jobs, progress = progress, target_dir = target_dir)
     })
 }