src/Pure/Admin/build_release.scala
changeset 74850 c5ce1e2f26ab
parent 74357 41d009462d3c
child 74856 ae7912a42b9d
child 74872 9e9a308562da
equal deleted inserted replaced
74849:a763f94c2c32 74850:c5ce1e2f26ab
   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_preferences, "ML_system_64 = true\n")
       
   828 
       
   829             other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
   826             other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
   830               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
   827               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
   831               " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
   828               " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
   832             other_isabelle.isabelle_home_user.file.delete
   829             other_isabelle.isabelle_home_user.file.delete
   833 
   830