Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_verit.scala
changeset 72455 7bf67a58f54a
parent 72443 ff5e700ed490
child 72472 b54d4542d08c 
--- a/src/Pure/Admin/build_verit.scala	Mon Oct 12 15:58:37 2020 +0200
+++ b/src/Pure/Admin/build_verit.scala	Mon Oct 12 16:19:11 2020 +0200
@@ -22,10 +22,7 @@
   {
     Isabelle_System.with_tmp_dir("build")(tmp_dir =>
     {
-      /* required commands */
-
-      List("autoconf", "bison", "flex", "wget").foreach(cmd =>
-        if (!Isabelle_System.bash(cmd + " --version").ok) error("Missing command: " + cmd))
+      Isabelle_System.require_command("autoconf", "bison", "flex", "wget")
 
 
       /* component */
isabelle