If you use mmj2 on Windows to process set.mm, you may need to increase the memory settings of mmj2.
Here are the details - including how to fix it - if this situation applies to you. The issue is that set.mm has gotten bigger and that mmj2 includes an Early parser (which uses nontrivial memory). I don't think splitting set.mm would help in this case (though I haven't checked that seriously). Changing a memory setting solves the problem. In the long term, I've provided a proposed change to mmj2 so it will automatically be handled by default. Hopefully Mario will merge it and post a new version of mmj2 (hint!). You can see the pull request here: https://github.com/digama0/mmj2/pull/34 In the meantime: If you use the mmj2 batch files, such as mmj2.bat, you may need to edit the batch files to keep working with set.mm. If you've made your own batch files, this will also apply. These files provide Java a few parameters so mmj2 will work. One option is "-Xmx", which sets the maximum (heap) memory size. It's been 512 Mebibytes (512M), but set.mm has gotten larger and the Earley parser uses nontrivial amounts of memory. I changed "-Xmx512M" to "-Xmx2g" (2 Gibibytes), and all worked again. You don't need to change "-Xms"; that's just the starting value, and as long as the *maximum* value is large enough you're fine. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1jPtfT-0005C8-6y%40rmmprod06.runbox.
