Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more checks;
authorwenzelm
Wed, 16 Dec 2020 16:30:04 +0100
changeset 72938 bc88423eb0ad
parent 72934 12baa337aee2
child 72939 dc858da93233
more checks;
src/Pure/Admin/build_vampire.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle