Age | Commit message (Collapse) | Author |
|
* Change JRE version support to <= 17
* https://scalameta.org/metals/blog/2021/09/06/tungsten/
* Fix JREMajorVersion for "Early Adopter" (or "Early Access"?) version numbers, e.g. "18-ea".
* Update default JRE options to work with JRE >= 8 and <= 17, this is mostly changing `-XX:MaxRAMPercentage=25` to `-XX:MaxRAMPercentage=25.0`, which permits usage on JRE 8.
* Update `metals.install` notice to reference correct version constraints and changes to Java options.
|
|
It failed when the version number had only one section, e.g. "15" as opposed to "15.0.0".
|
|
* Change default JVM options used to run metals to get better memory characteristics.
* Add `METALS_JAVA_OPTS` environment variable to allow providing custom JVM options.
* Add `JREMajorVersion.java` which provides a simple method of determining the major JRE version. This is used to derive the correct default JVM options.
|