Here is the output of strace mmj2/mmj2jar/mmj2 compiled and run under openjdk-17-jdk, Debian Sid, arm64, x11:
https://pastebin.com/zcwgs2pc William On Friday, March 3, 2023 at 7:31:18 PM UTC-5 William Mitchell Jr wrote: > After git clone https://github.com/digama0/mmj2, > > Success: compile with openjdk-11-jdk and runtime openjdk-11-jdk. > Every other combination of compiling/runtime I have available fails. > > Here is the error message from compiling and running under openjdk-17-jdk: > > Error: LinkageError occurred while loading main class mmj.util.BatchMMJ2 > java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 has > been compiled by a more recent version of the Java Runtime (class file > version 65.0), this version of the Java Runtime only recognizes class file > versions up to 61.0 > > William > On Friday, March 3, 2023 at 6:33:32 PM UTC-5 [email protected] wrote: > >> By the way, if you are thinking about modernizing mmj2 there are two >> known issues with newer versions of the JDK. One is the missing nashorn >> support as already mentioned, and the other is an issue in the undo system >> which causes ComposedEdits to not work correctly (the required class >> doesn't exist on JDK 10+). It is being version-checked now so you shouldn't >> get any build failures, but the user experience is that undo goes one >> character at a time which is pretty miserable. Maybe there is something in >> newer versions of the JDK for this but I couldn't find anything useful in >> JDK 10. That's why I recommend JDK 9 for most mmj2 users. >> >> On Fri, Mar 3, 2023 at 6:26 PM David Crisp <[email protected]> wrote: >> >>> >>> On Friday, 3 March 2023 at 22:41:54 UTC [email protected] wrote: >>> >>> openjdk-11-jdk works on my system. >>> >>> Debian Sid >>> arm64 >>> Java versions available to me: openjdk-8-jdk, openjdk-11-jdk, >>> openjdk-17-jdk, openjdk-18-jdk, openjdk-19-jdk, openjdk-20-jdk, >>> openjdk-21-jdk. >>> >>> openjdk-8-jdk: fails (error message posted below) >>> openjdk-11-jdk: success >>> openjdk-17-jdk: fails (error message posted below) >>> openjdk-18-jdk through openjdk-21-jdk: fails (all with the same error >>> message posted below) >>> >>> >>> The issue with JDK8 is what Mario suggests, and the issues with JDK18+ >>> are what I'd expect from missing Nashorn support, but 17 is a weird one. >>> I'd expect it to fail for the same reason as 18 (Nashorn was removed in 14) >>> but it looks like it's not even getting that far and is instead having >>> trouble with loading the GUI libraries (libawt_xawt.so is the library that >>> implements Java's low-level windowing functionality on top of X11). >>> >>> I suspect this is an issue with your install of 17, but I don't >>> currently have an ARM system available to me so I can't test it myself with >>> your exact setup - would you mind please trying to uninstall and reinstall >>> 17 for me and seeing if you get the same stacktrace? If you do I'll add it >>> to my list of things to investigate once I start diving into the code - 17 >>> is the most recent LTS version, so it's one that we really want mmj2 to >>> work with if at all possible. >>> >>> Thanks >>> >>> Dave >>> >>> -- >>> >> 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/ba2288fa-9f13-4d50-8334-cc6fc361e117n%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/metamath/ba2288fa-9f13-4d50-8334-cc6fc361e117n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- 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/eefc22b1-5a98-4509-8bd9-bba24f410af2n%40googlegroups.com.
