src/Pure/Admin/build_zipperposition.scala

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