From 10d35ed6c435099f4b731834f4d3d8c63ab2287b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fabi=C3=A1n=20Heredia=20Montiel?= Date: Wed, 7 Jun 2023 18:47:46 -0600 Subject: [PATCH] =?UTF-8?q?scala:=202.13.5=20=E2=86=92=202.13.11?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Release flag had to be added manually, additional context https://github.com/gradle/gradle/issues/23962 --- build.gradle | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/build.gradle b/build.gradle index 7a677f77c19..34f6fb43d79 100644 --- a/build.gradle +++ b/build.gradle @@ -12,8 +12,8 @@ repositories { } dependencies { - implementation 'org.scala-lang:scala-library:2.13.5!!' - implementation 'org.scala-lang:scala-reflect:2.13.5!!' + implementation 'org.scala-lang:scala-library:2.13.11!!' + implementation 'org.scala-lang:scala-reflect:2.13.11!!' implementation('org.java-websocket:Java-WebSocket:1.5.3') implementation('org.jline:jline:3.5.1') @@ -44,7 +44,8 @@ tasks.withType(ScalaCompile) { scalaCompileOptions.additionalParameters = [ "-language:postfixOps", "-Xfatal-warnings", - "-Ypatmat-exhaust-depth", "400" + "-Ypatmat-exhaust-depth", "400", + "-release", "11" ] compileScala.sourceCompatibility = 11 compileScala.targetCompatibility = 11