# HG changeset patch
# User wenzelm
# Date 1601673337 -7200
# Node ID 374aafa52e92a983ae01d970d8996fa8ccfba225
# Parent  fc5f10691147d61a5d5f927d34c36be66d29a811
clarified installed files;

diff -r fc5f10691147 -r 374aafa52e92 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Fri Oct 02 22:59:30 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Fri Oct 02 23:15:37 2020 +0200
@@ -93,12 +93,12 @@
 
       File.copy(build_dir + Path.basic("COPYING"), component_dir + Path.basic("LICENSE"))
 
-      val install_files = List("epclextract", "eproof", "eproof_ram", "eprover", "eprover-ho")
-      for (name <- install_files) {
+      val install_files = List("epclextract", "eproof_ram", "eprover", "eprover-ho")
+      for (name <- install_files ::: install_files.map(_ + ".exe")) {
         val path = build_dir + Path.basic("PROVER") + Path.basic(name)
         if (path.is_file) File.copy(path, platform_dir)
       }
-      Isabelle_System.bash("if [ -e eprover-ho ]; then mv eprover-ho eprover; fi",
+      Isabelle_System.bash("if [ -f eprover-ho ]; then mv eprover-ho eprover; fi",
         cwd = platform_dir.file).check
 
       val eproof_ram = platform_dir + Path.basic("eproof_ram")