what is the regular output? On Fri, Mar 3, 2023 at 11:21 PM William Mitchell Jr <wdm...@gmail.com> wrote:
> Here is the output of strace java -jar mmj2/mmj2jar/mmj2.jar: > > https://pastebin.com/eMMHSGLs > > William > On Friday, March 3, 2023 at 10:26:40 PM UTC-5 di....@gmail.com wrote: > >> The strace output is not very informative because mmj2/mmj2jar/mmj2 is >> actually a shell script which calls java. Most of what you can see is just >> bash reading the script. You can call java directly if you want a more >> useful trace. >> >> On Fri, Mar 3, 2023 at 9:40 PM William Mitchell Jr <wdm...@gmail.com> >> wrote: >> >>> 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 di....@gmail.com 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 <winterk...@gmail.com> >>>>> wrote: >>>>> >>>>>> >>>>>> On Friday, 3 March 2023 at 22:41:54 UTC wdm...@gmail.com 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 metamath+u...@googlegroups.com. >>>>>> >>>>> 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 metamath+u...@googlegroups.com. >>> >> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/metamath/eefc22b1-5a98-4509-8bd9-bba24f410af2n%40googlegroups.com >>> <https://groups.google.com/d/msgid/metamath/eefc22b1-5a98-4509-8bd9-bba24f410af2n%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 metamath+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/b28d7f73-e42e-449c-a463-49d68af61160n%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/b28d7f73-e42e-449c-a463-49d68af61160n%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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSsza%2BU0hXM9h8FV%2BSaAYVMeC%3DpY8DL_tNGA9h_zwrMO1Q%40mail.gmail.com.