--- a/src/Pure/Admin/build_e.scala Fri Oct 09 11:44:27 2020 +0200
+++ b/src/Pure/Admin/build_e.scala Fri Oct 09 12:01:35 2020 +0200
@@ -12,9 +12,7 @@
/* build E prover */
val default_version = "2.5"
-
- val default_download_url =
- "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
+ val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
def build_e(
version: String = default_version,
@@ -23,7 +21,7 @@
progress: Progress = new Progress,
target_dir: Path = Path.current)
{
- Isabelle_System.with_tmp_dir("e")(tmp_dir =>
+ Isabelle_System.with_tmp_dir("build")(tmp_dir =>
{
/* component */
@@ -110,7 +108,7 @@
/* Isabelle tool wrapper */
val isabelle_tool =
- Isabelle_Tool("build_e", "build Isabelle E prover component from official download",
+ Isabelle_Tool("build_e", "build prover component from source distribution",
args =>
{
var target_dir = Path.current
@@ -128,7 +126,7 @@
-V VERSION E prover version (default: """ + default_version + """)
-v verbose
- Build E prover component from the specified download URLs and version.
+ Build prover component from the specified source distribution.
""",
"D:" -> (arg => target_dir = Path.explode(arg)),
"U:" -> (arg => download_url = arg),