Hi, I sometimes use a mac. Here's a description of what my process has been to (kind of) get mmj2 working.
1. Clone and get the metamath executable running somewhere (let's say /Users/chris/metamath/) 2. Clone the mmj2 repo at (/Users/chris/mmj2/) 3. Following the 'quickstart' advice in the mmj2 README, double click MacMMJ2.command 4. Get error ``` ./MacMMJ2.command Exception in thread "main" java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 : Unsupported major.minor version 52.0 ``` 5. Update JDK on the advice of google 6. Error changes to : ``` Unrecognized option: -Xincgc Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. ``` 7. Remove `-Xincgc` from MacMMJ2.command 8. Get another error about not finding files 9. Change paths in startup script to point to files on my system (I found that it requires the full path) 10. Get error : ``` I-UT-0015 **** Processing RunParmFile Command #1 = LoadFile,set.mm I-UT-0015 **** Processing RunParmFile Command #2 = VerifyProof,* I-UT-0015 **** Processing RunParmFile Command #3 = Parse,* Java heap space Exception in thread "main" java.lang.OutOfMemoryError: Java heap space ``` 11. Change the file specified in RunParms.txt to something other than set.mm Thoughts : - The quickstart section should inform users that they need to edit the startup script to get the program to work instead of telling them to double click it. - The quickstart section says (thought it doesn't tell you how) you shouled edit `RunParms.txt`, but not that you need to edit `MacMMJ2.command` - The placeholder paths in MacMMJ2.command (/users/Userone/mmj2jar/mmj2.jar) should probably be changed to something that signals to users who are just scanning to try and find a problem (or to non-computer people who are expecting MMJ2 to just work out of the box) that they need to be replaced with paths entered by the user specific to their machine. Or you can just put a comment or something. - The link to `INSTALL.html` in the README links to the page with the raw HTML code for said file on github, not the rendered version, so is not very helpful. - Whatever the defaults are for mac, they're not able to parse set.mm without running out of memory (or something). See #10 above. For reference, the `MacMMJ2.command` file I ended up with looked like : ``` java -Xms128M -Xmx256M -jar /Users/chris/Downloads/mmj2/mmj2jar/mmj2.jar "/Users/chris/Downloads/mmj2/mmj2jar/RunParms.txt" Y "/Users/chris/Downloads/mmj2/mmj2jar/" "/Users/chris/Downloads/metamath/metamath/" "" ``` And the output of `java -version` on my machine is : ``` java version "13.0.1" 2019-10-15 Java(TM) SE Runtime Environment (build 13.0.1+9) Java HotSpot(TM) 64-Bit Server VM (build 13.0.1+9, mixed mode, sharing) ``` On Friday, January 3, 2020 at 6:13:47 PM UTC-6, David A. Wheeler wrote: > > I don't have a Mac, so I can't reproduce that. Can someone with a Mac help > us > reproduce & then help us fix that? > > --- 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/fbc0fd2f-037c-4ce1-a1f4-cad52340778c%40googlegroups.com.
