summarylogtreecommitdiffstats
path: root/metals.install
AgeCommit message (Collapse)Author
2021-09-13Update Metals To 0.10.6David Strawn
* 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.
2020-12-23Update Example To Use Current Arch JDKDavid Strawn
2020-05-12Update JVM OptionsDavid Strawn
* 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.
2019-12-04Allow Customization Of JDK Which Runs MetalsDavid Strawn
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).