equal
deleted
inserted
replaced
164 |
164 |
165 val other_isabelle = |
165 val other_isabelle = |
166 Other_Isabelle(tmp_dir + Path.explode(name), |
166 Other_Isabelle(tmp_dir + Path.explode(name), |
167 isabelle_identifier = name + "-build", progress = progress) |
167 isabelle_identifier = name + "-build", progress = progress) |
168 |
168 |
|
169 Isabelle_System.mkdirs(other_isabelle.etc) |
|
170 File.write(other_isabelle.etc_preferences, "ML_system_64 = true\n") |
|
171 |
169 other_isabelle.bash("bin/isabelle build" + jobs_option + |
172 other_isabelle.bash("bin/isabelle build" + jobs_option + |
170 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
173 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" + |
171 " -s -c -a -d '~~/src/Benchmarks'", echo = true).check |
174 " -s -c -a -d '~~/src/Benchmarks'", echo = true).check |
172 other_isabelle.isabelle_home_user.file.delete |
175 other_isabelle.isabelle_home_user.file.delete |
173 |
176 |