# HG changeset patch
# User wenzelm
# Date 1602609899 -7200
# Node ID 0822ff79eed8cb209eb5e515aae4292a2ee9a5cd
# Parent  04403e1ef17628cd86dc9ccbd77c957a12ecc2b8
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";

diff -r 04403e1ef176 -r 0822ff79eed8 src/Pure/Admin/build_zipperposition.scala
--- a/src/Pure/Admin/build_zipperposition.scala	Tue Oct 13 19:12:58 2020 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Tue Oct 13 19:24:59 2020 +0200
@@ -53,8 +53,9 @@
 
       File.copy(build_dir + Path.explode("doc/zipperposition/LICENSE"), component_dir)
 
-      val exe_path = Path.basic("zipperposition").platform_exe
-      File.copy(build_dir + Path.basic("bin") + exe_path, platform_dir)
+      val prg_path = Path.basic("zipperposition")
+      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)