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 robust;
authorwenzelm
Tue, 13 Oct 2020 20:29:13 +0200
changeset 72471 aca85e8d873d
parent 72470 e2e9ef9aa2df
child 72472 b54d4542d08c
more robust;
src/Pure/Admin/build_zipperposition.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_zipperposition.scala	Tue Oct 13 20:28:43 2020 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Tue Oct 13 20:29:13 2020 +0200
@@ -22,6 +22,9 @@
   {
     Isabelle_System.with_tmp_dir("build")(build_dir =>
     {
+      Isabelle_System.require_command("patchelf")
+
+
       /* component */
 
       val component_name = "zipperposition-" + version
isabelle