src/Pure/System/components.scala
changeset 69418 86ba90f88747
parent 69413 52727566c1ba
child 69425 94f6ca69d983
equal deleted inserted replaced
69417:469724b2cb5d 69418:86ba90f88747
    34 
    34 
    35   def unpack(dir: Path, archive: Path, progress: Progress = No_Progress): String =
    35   def unpack(dir: Path, archive: Path, progress: Progress = No_Progress): String =
    36   {
    36   {
    37     val name = Archive.get_name(archive.file_name)
    37     val name = Archive.get_name(archive.file_name)
    38     progress.echo("Unpacking " + name)
    38     progress.echo("Unpacking " + name)
    39     Isabelle_System.gnutar("-C " + File.bash_path(dir) + " -xzf " + File.bash_path(archive)).check
    39     Isabelle_System.gnutar(
       
    40       "-C " + File.bash_path(dir) + " -xzf " + File.bash_path(archive.absolute)).check
    40     name
    41     name
    41   }
    42   }
    42 
    43 
    43   def resolve(base_dir: Path, names: List[String],
    44   def resolve(base_dir: Path, names: List[String],
    44     target_dir: Option[Path] = None,
    45     target_dir: Option[Path] = None,