Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_verit.scala
changeset 77510 f5d6cd98b16a
parent 76548 0af64cc2eee9 
--- a/src/Pure/Admin/build_verit.scala	Sat Mar 04 22:29:21 2023 +0100
+++ b/src/Pure/Admin/build_verit.scala	Sat Mar 04 23:25:30 2023 +0100
@@ -15,7 +15,6 @@
 
   def build_verit(
     download_url: String = default_download_url,
-    verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current,
     mingw: MinGW = MinGW.none
@@ -75,7 +74,7 @@
         if (Platform.is_linux) "LDFLAGS=-Wl,-rpath,_DUMMY_" else ""
 
       progress.bash(mingw.bash_script("set -e\n./configure " + configure_options + "\nmake"),
-        cwd = source_dir.file, echo = verbose).check
+        cwd = source_dir.file, echo = progress.verbose).check
 
 
       /* install */
@@ -144,9 +143,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_verit(download_url = download_url, verbose = verbose, progress = progress,
+        build_verit(download_url = download_url, progress = progress,
           target_dir = target_dir, mingw = mingw)
       })
 }
isabelle