In the jedit environment, how would I go about increasing the memory limit for the ML process? Around 10GB memory usage the ML process starts doing many cleanup runs, slowing isabelle to a crawl so I assume the limit is somewhere around there and would like to lift it.
You can add
ML_OPTIONS="--minheap 1G --maxheap 16G" to the file
$ISABELLE_HOME_USER/etc/settings (usually something like
If you use the
64_32 mode of Isabelle you might be limited to 16GiB if I recall correctly.
Leander Behr has marked this topic as resolved.
Last updated: Sep 22 2023 at 12:28 UTC