--- a/src/Pure/Admin/build_zipperposition.scala Wed Dec 16 16:56:07 2020 +0100
+++ b/src/Pure/Admin/build_zipperposition.scala Wed Dec 16 23:11:54 2020 +0100
@@ -22,7 +22,7 @@
{
Isabelle_System.with_tmp_dir("build")(build_dir =>
{
- Isabelle_System.require_command("patchelf")
+ if (!Platform.is_windows) Isabelle_System.require_command("patchelf")
/* component */
@@ -60,8 +60,10 @@
val exe_path = prg_path.platform_exe
File.copy(build_dir + Path.basic("bin") + prg_path, platform_dir + exe_path)
- Executable.libraries_closure(
- platform_dir + exe_path, filter = Set("libgmp"), patchelf = true)
+ if (!Platform.is_windows) {
+ Executable.libraries_closure(
+ platform_dir + exe_path, filter = Set("libgmp"), patchelf = true)
+ }
/* settings */