# HG changeset patch
# User wenzelm
# Date 1608132604 -3600
# Node ID bc88423eb0ad9d4ab03550dfabdd461c4fb930aa
# Parent  12baa337aee290cf28c547d62c3865d459f6d26d
more checks;

diff -r 12baa337aee2 -r bc88423eb0ad src/Pure/Admin/build_vampire.scala
--- 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 */