# 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    ", ")") +
 """
 }