I had the same issue and this is what I use with JRE 1.8.0 (latest didn't work)
java -Xms1G -Xmx1G -jar ~/opt/metamath/mmj2/mmj2jar/mmj2.jar "RunParms.txt" Y "/Users/spolu/opt/metamath/mmj2/mmj2jar/" "/Users/spolu/opt/metamath/set.mm" "" Hope it helps. -stan On Tue, Mar 17, 2020 at 5:25 PM Benoit <[email protected]> wrote: > > Hi, > I'm having trouble launching mmj2 on Debian Bullseye. It does not recognize > the option "-Xincgc". Should I replace it with something else, or is it safe > to remove it ? I remember that for some time there was a deprecation > warning: maybe this is now deprecated ? > Thanks in advance. > Details: > > benoit@ordi:~$ java -Xincgc -Xms128M -Xmx512M -jar > /home/benoit/Documents/_metamath/mmj2/mmj2jar/mmj2.jar RunParms.txt Y "" > /home/benoit/Documents/_metamath/mm181 "" > Unrecognized option: -Xincgc > Error: Could not create the Java Virtual Machine. > Error: A fatal exception has occurred. Program will exit. > benoit@ordi:~$ java -version > openjdk version "11.0.6" 2020-01-14 > OpenJDK Runtime Environment (build 11.0.6+10-post-Debian-2) > OpenJDK 64-Bit Server VM (build 11.0.6+10-post-Debian-2, mixed mode) > > -- > 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/2db7f38e-8282-419e-9557-111b3e48d735%40googlegroups.com. -- 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/CACZd_0wmnP82YQfK_c_vZCyZ0CXTpj%2BsycifFmwMawTk7MRbEw%40mail.gmail.com.
