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.
clarified installed files;
authorwenzelm
Fri, 02 Oct 2020 23:15:37 +0200
changeset 72364 374aafa52e92
parent 72363 fc5f10691147
child 72365 3c597781e346
clarified installed files;
src/Pure/Admin/build_e.scala file | annotate | diff | comparison | revisions 
--- 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")
isabelle