# HG changeset patch # User wenzelm # Date 1627905045 -7200 # Node ID 3b56d00ac333ca33c0d881a92708c4abb6ee4619 # Parent 0572c733d12d921f3e5d2a374580c6b711187c75 clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; diff -r 0572c733d12d -r 3b56d00ac333 src/Pure/Tools/scala_project.scala --- a/src/Pure/Tools/scala_project.scala Mon Aug 02 13:30:56 2021 +0200 +++ b/src/Pure/Tools/scala_project.scala Mon Aug 02 13:50:45 2021 +0200 @@ -161,7 +161,7 @@ dependencies { implementation 'org.scala-lang:scala-library:""" + scala.util.Properties.versionNumberString + """' - compile files( + compileOnly files( """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n ", ")") + """ }