diff options
author | David Strawn | 2022-11-04 07:04:10 -0600 |
---|---|---|
committer | David Strawn | 2022-11-04 07:04:10 -0600 |
commit | cb55ad3635733e2587003213a83d33cc87ffccbb (patch) | |
tree | b39ee69f9438969fd370b7ed3107814350b7bd22 | |
parent | 504fd6728492636c70c454cd900492cde7e647b9 (diff) | |
download | aur-cb55ad3635733e2587003213a83d33cc87ffccbb.tar.gz |
Release 0.11.9-2
Changes javac source and target version to 8. This is for the JREMajorVersion.java file we use to determine what major version of the JRE is in use.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = metals pkgdesc = Language Server For Scala pkgver = 0.11.9 - pkgrel = 1 + pkgrel = 2 url = https://scalameta.org/metals/ install = metals.install arch = any @@ -6,7 +6,7 @@ # Maintainer: David Strawn <isomarcte a__t gmail d__o__t c__o__m> pkgname='metals' pkgver='0.11.9' -pkgrel=1 +pkgrel=2 epoch= pkgdesc='Language Server For Scala' url='https://scalameta.org/metals/' @@ -103,7 +103,7 @@ build() { cd "$pkgname-$pkgver" # Build JREMajorVersion.java cp ../JREMajorVersion.java ./ - javac -source 7 -target 7 -Xlint -Xlint:-options JREMajorVersion.java + javac -source 8 -target 8 -Xlint -Xlint:-options JREMajorVersion.java # Attempt to build with a JDK supported by metals local _INDEX=0 |