equal
deleted
inserted
replaced
821 context.dist_dir + Path.explode(context.dist_name + "_" + Platform.family + ".tar.gz") |
821 context.dist_dir + Path.explode(context.dist_name + "_" + Platform.family + ".tar.gz") |
822 execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle)) |
822 execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle)) |
823 |
823 |
824 val other_isabelle = context.other_isabelle(tmp_dir) |
824 val other_isabelle = context.other_isabelle(tmp_dir) |
825 |
825 |
|
826 Isabelle_System.make_directory(other_isabelle.etc) |
|
827 File.write(other_isabelle.etc_settings, "ML_OPTIONS=\"--minheap 1000 --maxheap 4000\"\n") |
|
828 |
826 other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs + |
829 other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs + |
827 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
830 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
828 " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check |
831 " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check |
829 other_isabelle.isabelle_home_user.file.delete |
832 other_isabelle.isabelle_home_user.file.delete |
830 |
833 |