diff options
author | David Strawn | 2021-09-13 10:19:39 -0600 |
---|---|---|
committer | David Strawn | 2021-09-13 10:19:39 -0600 |
commit | 03495d51dbf9fc359aa9e22f8c993b3a3cdc6333 (patch) | |
tree | 69a41c9cf10469164be9fcf80fd00a28d6dbe28a /version-fix.patch | |
parent | 2f66d089f9a9f6313939cd1d364483717f0fd3f6 (diff) | |
download | aur-03495d51dbf9fc359aa9e22f8c993b3a3cdc6333.tar.gz |
Update Metals To 0.10.6
* 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.
Diffstat (limited to 'version-fix.patch')
-rw-r--r-- | version-fix.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-fix.patch b/version-fix.patch index 0d694fe5c24d..1667b22a84f0 100644 --- a/version-fix.patch +++ b/version-fix.patch @@ -10,7 +10,7 @@ index 390a37a7f..2b41d0dd9 100644 - if (isCI) dynVer - else localSnapshotVersion // only for local publishing - }, -+ version := "0.10.5", ++ version := "0.10.6", // note bucket created by @tgodzik munitBucketName := Some("scala-metals-test-reports"), scalaVersion := V.scala212, |