Adds support for customizing the JDK which runs metals and sets an ordered list of defaults.
Changes depends to bin JDK >= 8 && <= 11, but make-depends is >= 8 && < 11 because version 0.7.6 of metals does not compile with JDK 11 (but it does run on it).
Adds support for customizing the JDK which runs metals and sets an ordered list of defaults.
Changes
depends
to bin JDK >= 8 && <= 11, butmake-depends
is >= 8 && < 11 because version 0.7.6 of metals does not compile with JDK 11 (but it does run on it).