# HG changeset patch
# User wenzelm
# Date 1602613753 -7200
# Node ID aca85e8d873de52c77222c6c36a72e26e925ad31
# Parent  e2e9ef9aa2df093944c02eca0ee58920d5a54fba
more robust;

diff -r e2e9ef9aa2df -r aca85e8d873d 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