# HG changeset patch
# User wenzelm
# Date 1638023996 -3600
# Node ID ae7912a42b9d9b5b21349b1bec02d3dc6670155d
# Parent  a5eb407ec867e1c537a23fa240b8a8a9b54c379a
more robust build on midrange hardware;

diff -r a5eb407ec867 -r ae7912a42b9d src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sat Nov 27 14:55:47 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Sat Nov 27 15:39:56 2021 +0100
@@ -823,6 +823,9 @@
 
             val other_isabelle = context.other_isabelle(tmp_dir)
 
+            Isabelle_System.make_directory(other_isabelle.etc)
+            File.write(other_isabelle.etc_settings, "ML_OPTIONS=\"--minheap 1000 --maxheap 4000\"\n")
+
             other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
               " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check