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 [email protected] 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 <[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/b28d7f73-e42e-449c-a463-49d68af61160n%40googlegroups.com.

Reply via email to