equal
deleted
inserted
replaced
36 val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name)) |
36 val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name)) |
37 |
37 |
38 |
38 |
39 /* download source */ |
39 /* download source */ |
40 |
40 |
41 val e_url = download_url + "/V_" + version + "/E.tgz" |
41 val archive_url = download_url + "/V_" + version + "/E.tgz" |
42 val e_path = tmp_dir + Path.explode("E.tgz") |
42 val archive_path = tmp_dir + Path.explode("E.tgz") |
43 Isabelle_System.download(e_url, e_path, progress = progress) |
43 Isabelle_System.download(archive_url, archive_path, progress = progress) |
44 |
44 |
45 Isabelle_System.bash("tar xzf " + e_path, cwd = tmp_dir.file).check |
45 Isabelle_System.bash("tar xzf " + archive_path, cwd = tmp_dir.file).check |
46 Isabelle_System.bash("tar xzf " + e_path + " && mv E src", cwd = component_dir.file).check |
46 Isabelle_System.bash("tar xzf " + archive_path + " && mv E src", cwd = component_dir.file).check |
47 |
47 |
48 |
48 |
49 /* build */ |
49 /* build */ |
50 |
50 |
51 progress.echo("Building E prover ...") |
51 progress.echo("Building E prover ...") |
88 """) |
88 """) |
89 |
89 |
90 /* README */ |
90 /* README */ |
91 |
91 |
92 File.write(component_dir + Path.basic("README"), |
92 File.write(component_dir + Path.basic("README"), |
93 "This is E prover " + version + " from\n" + e_url + """ |
93 "This is E prover " + version + " from\n" + archive_url + """ |
94 |
94 |
95 The distribution has been built like this: |
95 The distribution has been built like this: |
96 |
96 |
97 cd src && """ + build_script + """ |
97 cd src && """ + build_script + """ |
98 |
98 |