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.
