# HG changeset patch
# User wenzelm
# Date 1602235692 -7200
# Node ID a49be9fc83c33ca3ea47d4e55bc32e4b3b97d93a
# Parent  c8e8e3e3d92927cedf09041059a07bb303f83c68
discontinued unused eproof_ram (actually absent in version 2.5);

diff -r c8e8e3e3d929 -r a49be9fc83c3 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Fri Oct 09 11:26:25 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Fri Oct 09 11:28:12 2020 +0200
@@ -70,7 +70,7 @@
 
       File.copy(build_dir + Path.basic("COPYING"), component_dir + Path.basic("LICENSE"))
 
-      val install_files = List("epclextract", "eproof_ram", "eprover", "eprover-ho")
+      val install_files = List("epclextract", "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)
@@ -78,11 +78,6 @@
       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")
-      if (eproof_ram.is_file) {
-        File.change(eproof_ram, _.replace("EXECPATH=.", "EXECPATH=`dirname \"$0\"`"))
-      }
-
 
       /* settings */