src/Pure/Tools/scala_project.scala
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    ", ")") +
 """
 }