--- a/src/Pure/Admin/build_release.scala Sat Dec 04 12:38:32 2021 +0100
+++ b/src/Pure/Admin/build_release.scala Sat Dec 04 12:38:51 2021 +0100
@@ -837,6 +837,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