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.

Reply via email to