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 <[email protected]> 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 [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
> <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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/metamath/CAFXXJSv4yXbkbhZKbyr8W2RYF1CD2kCa4-1DfdpHafBGRE%3D5kg%40mail.gmail.com.

Reply via email to