Hi Mingli,
I have not tried your MMJ2 package but if it includes the correct Java version, then it might be the right solution (MMJ2 only supports Java 8, if I understood well).
Would there be a way to provide binary versions so that users would not have to build it themselves from source?
I see you have included MMJ2's sources in your repository. If you
have done any modification worth sharing, please consider also a
PR to the official repository! (https://github.com/digama0/mmj2)
BR,
_
Thierry
--
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/CAGDRuAii%3DpexaKG_3t5LX8PEsnkMxhOkxOm3VzFWaDXJZm6Lvg%40mail.gmail.com.
Hi Mingli,
The embedded Javascript engine is used to run auto-transformations, that is a function I find quite indispensable. Might a different branch for before/after JDK 15 be a solution?
With the EMetamath Eclipse Plug-in, I have reused the core of
MMJ2, without reusing its GUI.
With Rust and metamath-knife, we try to have this kind of modular
approach: metamath-knife
is meant as a toolkit library which provides database parsing,
verification and access, and we can built several tools using it,
like command line tools, web pages generators, proofs assistants,
etc.
BR,
_
Thierry