equal
deleted
inserted
replaced
835 context.dist_dir + Path.explode(context.dist_name + "_" + Platform.family + ".tar.gz") |
835 context.dist_dir + Path.explode(context.dist_name + "_" + Platform.family + ".tar.gz") |
836 execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle)) |
836 execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle)) |
837 |
837 |
838 val other_isabelle = context.other_isabelle(tmp_dir) |
838 val other_isabelle = context.other_isabelle(tmp_dir) |
839 |
839 |
|
840 Isabelle_System.make_directory(other_isabelle.etc) |
|
841 File.write(other_isabelle.etc_settings, "ML_OPTIONS=\"--minheap 1000 --maxheap 4000\"\n") |
|
842 |
840 other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs + |
843 other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs + |
841 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
844 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
842 " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check |
845 " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check |
843 other_isabelle.isabelle_home_user.file.delete |
846 other_isabelle.isabelle_home_user.file.delete |
844 |
847 |