src/Pure/Admin/build_vampire.scala
changeset 73906 9ce115baaa4f
parent 73590 0ffcad1f6130
equal deleted inserted replaced
73905:029de1598940 73906:9ce115baaa4f
    27     component_name: String = "",
    27     component_name: String = "",
    28     verbose: Boolean = false,
    28     verbose: Boolean = false,
    29     progress: Progress = new Progress,
    29     progress: Progress = new Progress,
    30     target_dir: Path = Path.current): Unit =
    30     target_dir: Path = Path.current): Unit =
    31   {
    31   {
    32     Isabelle_System.require_command("git", "cmake")
    32     Isabelle_System.require_command("git")
       
    33     Isabelle_System.require_command("cmake")
    33 
    34 
    34     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
    35     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
    35     {
    36     {
    36       /* component and platform */
    37       /* component and platform */
    37 
    38