# HG changeset patch
# User wenzelm
# Date 1633384035 -7200
# Node ID 4e317412db480b3860e8161aedd55cb752d9476a
# Parent  a01806afe1312ef95c287b27c7c38aa74198d526
no patchelf on macOS (undetected due to cached executables?);

diff -r a01806afe131 -r 4e317412db48 src/Pure/Admin/build_zipperposition.scala
--- a/src/Pure/Admin/build_zipperposition.scala	Mon Oct 04 23:26:56 2021 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Mon Oct 04 23:47:15 2021 +0200
@@ -22,7 +22,7 @@
   {
     Isabelle_System.with_tmp_dir("build")(build_dir =>
     {
-      if (!Platform.is_windows) Isabelle_System.require_command("patchelf")
+      if (Platform.is_linux) Isabelle_System.require_command("patchelf")
 
 
       /* component */