# HG changeset patch
# User wenzelm
# Date 1602235585 -7200
# Node ID c8e8e3e3d92927cedf09041059a07bb303f83c68
# Parent  31ddd23965e606283c4e38abb02fef0370cdf665
discontinued obsolete runepar.pl (see 4a3169d8885c);

diff -r 31ddd23965e6 -r c8e8e3e3d929 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Thu Oct 08 18:23:27 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Fri Oct 09 11:26:25 2020 +0200
@@ -16,13 +16,9 @@
   val default_download_url =
     "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
 
-  val default_runepar_url =
-    "https://raw.githubusercontent.com/JUrban/MPTP2/66f03e5b6df8/MaLARea/bin/runepar.pl"
-
   def build_e(
     version: String = default_version,
     download_url: String = default_download_url,
-    runepar_url: String = default_runepar_url,
     verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current)
@@ -42,19 +38,6 @@
       val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name))
 
 
-      /* runepar.pl */
-
-      val runepar_path = platform_dir + Path.basic("runepar.pl")
-      Isabelle_System.download(runepar_url, runepar_path, progress = progress)
-
-      File.change(runepar_path,
-       _.replace("#!/usr/bin/perl", "#!/usr/bin/env perl")
-        .replace("bin/eprover", "$ENV{E_HOME}/eprover")
-        .replace("bin/eproof", "$ENV{E_HOME}/eproof"))
-
-      File.set_executable(runepar_path, true)
-
-
       /* download source */
 
       val e_url = download_url + "/V_" + version + "/E.tgz"
@@ -123,9 +106,6 @@
 Only a few executables from PROVERS/ have been moved to the platform-specific
 Isabelle component directory: x86_64-linux etc.
 
-This includes a copy of Josef Urban's "runepar.pl" script, modified to use
-the correct path.
-
 
     Makarius
     """ + Date.Format.date(Date.now()) + "\n")
@@ -139,7 +119,6 @@
     args =>
     {
       var target_dir = Path.current
-      var runepar_url = default_runepar_url
       var version = default_version
       var download_url = default_download_url
       var verbose = false
@@ -149,8 +128,6 @@
 
   Options are:
     -D DIR       target directory (default ".")
-    -R URL       URL for runepar.pl by Josef Urban
-                 (default: """ + default_runepar_url + """)
     -U URL       E prover download URL
                  (default: """" + default_download_url + """")
     -V VERSION   E prover version (default: """ + default_version + """)
@@ -159,7 +136,6 @@
   Build E prover component from the specified download URLs and version.
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)),
-        "R:" -> (arg => runepar_url = arg),
         "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),
         "v" -> (_ => verbose = true))
@@ -169,7 +145,7 @@
 
       val progress = new Console_Progress()
 
-      build_e(version = version, download_url = download_url, runepar_url = runepar_url,
+      build_e(version = version, download_url = download_url,
         verbose = verbose, progress = progress, target_dir = target_dir)
     })
 }