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 */