Leander Behr (May 11 2022 at 20:15): Leander Behr (May 11 2022 at 20:15):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.
Lukas Stevens (May 12 2022 at 07:32):You can add ML_OPTIONS="--minheap 1G --maxheap 16G" to the file $ISABELLE_HOME_USER/etc/settings (usually something like ~/.isabelle/Isabelle2021-1/etc/settings)
Lukas Stevens (May 12 2022 at 07:37):If you use the 64_32 mode of Isabelle you might be limited to 16GiB if I recall correctly.
Notification Bot (May 12 2022 at 10:31):Leander Behr has marked this topic as resolved.
Last updated: Dec 21 2024 at 16:20 UTC