changeset 74103 | 3b56d00ac333 |
parent 74071 | b25b7c264a93 |
child 74104 | fa92c5f8af86 |
--- 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 ", ")") + """ }