changeset 72938 | bc88423eb0ad |
parent 72891 | 6751057a64b1 |
child 73317 | df49ca5da9d0 |
--- a/src/Pure/Admin/build_vampire.scala Wed Dec 16 15:47:33 2020 +0100 +++ b/src/Pure/Admin/build_vampire.scala Wed Dec 16 16:30:04 2020 +0100 @@ -29,6 +29,8 @@ progress: Progress = new Progress, target_dir: Path = Path.current) { + Isabelle_System.require_command("git", "cmake") + Isabelle_System.with_tmp_dir("build")(tmp_dir => { /* component and platform */