Which JRE/JDK shall I use?

mountain / mmtk

An experimental toolkit of metamath based on mmj2

GNU General Public License v2.0

1 stars 0 forks source link

Which JRE/JDK shall I use? #1

Open tirix opened 2 years ago

tirix commented 2 years ago

I've tried to install mmj2e / mmtk and it seems I need a JDK, not a JRE. Also, it seems it requires jpackage, which was only introduced in JDK 14, so I suppose the dependency is JDK 14?

mountain commented 2 years ago

I am working in progress ....

But I think JDK is needed, because of the license issue. I can not deliver any binarys whatever jar or installer.

tirix commented 2 years ago

I installed JDK 14 and compilation went through! Next I have issues with number of arguments, but that's probably because the tool is not completed yet... I'll wait!

mountain commented 2 years ago

Thanks.

mountain commented 2 years ago

@tirix Maybe still buggy, commands init, pa and batch are basically work now. I tested on JDK 17 and compiled to java 11 version. My cases do not cover the js macro part, so it still not very clear.