src/Pure/Admin/build_release.scala
changeset 74856 ae7912a42b9d
parent 74850 c5ce1e2f26ab
child 74857 25e9e7088561
equal deleted inserted replaced
74855:a5eb407ec867 74856:ae7912a42b9d
   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