--- a/src/Pure/Admin/components.scala Tue Apr 07 21:07:28 2020 +0200
+++ b/src/Pure/Admin/components.scala Tue Apr 07 21:49:36 2020 +0200
@@ -45,7 +45,7 @@
def contrib(dir: Path = Path.current, name: String = ""): Path =
dir + Path.explode("contrib") + Path.explode(name)
- def unpack(dir: Path, archive: Path, progress: Progress = No_Progress): String =
+ def unpack(dir: Path, archive: Path, progress: Progress = new Progress): String =
{
val name = Archive.get_name(archive.file_name)
progress.echo("Unpacking " + name)
@@ -56,7 +56,7 @@
def resolve(base_dir: Path, names: List[String],
target_dir: Option[Path] = None,
copy_dir: Option[Path] = None,
- progress: Progress = No_Progress)
+ progress: Progress = new Progress)
{
Isabelle_System.mkdirs(base_dir)
for (name <- names) {
@@ -135,7 +135,7 @@
def build_components(
options: Options,
components: List[Path],
- progress: Progress = No_Progress,
+ progress: Progress = new Progress,
publish: Boolean = false,
force: Boolean = false,
update_components_sha1: Boolean = false)