# HG changeset patch # User wenzelm # Date 1602239284 -7200 # Node ID f98f764239a4bda6a7b9cb16cfe2659b7a28d57b # Parent da577e2d42b36318a98c53bc645b2a9bd734979d tuned; diff -r da577e2d42b3 -r f98f764239a4 src/Pure/Admin/build_e.scala --- a/src/Pure/Admin/build_e.scala Fri Oct 09 12:27:39 2020 +0200 +++ b/src/Pure/Admin/build_e.scala Fri Oct 09 12:28:04 2020 +0200 @@ -38,12 +38,12 @@ /* download source */ - val e_url = download_url + "/V_" + version + "/E.tgz" - val e_path = tmp_dir + Path.explode("E.tgz") - Isabelle_System.download(e_url, e_path, progress = progress) + val archive_url = download_url + "/V_" + version + "/E.tgz" + val archive_path = tmp_dir + Path.explode("E.tgz") + Isabelle_System.download(archive_url, archive_path, progress = progress) - Isabelle_System.bash("tar xzf " + e_path, cwd = tmp_dir.file).check - Isabelle_System.bash("tar xzf " + e_path + " && mv E src", cwd = component_dir.file).check + Isabelle_System.bash("tar xzf " + archive_path, cwd = tmp_dir.file).check + Isabelle_System.bash("tar xzf " + archive_path + " && mv E src", cwd = component_dir.file).check /* build */ @@ -90,7 +90,7 @@ /* README */ File.write(component_dir + Path.basic("README"), - "This is E prover " + version + " from\n" + e_url + """ + "This is E prover " + version + " from\n" + archive_url + """ The distribution has been built like this: