Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
authorwenzelm
Tue, 13 Oct 2020 19:24:59 +0200
changeset 72467 0822ff79eed8
parent 72466 04403e1ef176
child 72468 60471f4bafd2
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
src/Pure/Admin/build_zipperposition.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle