src/Pure/Tools/scala_project.scala
changeset 74103 3b56d00ac333
parent 74071 b25b7c264a93
child 74104 fa92c5f8af86
equal deleted inserted replaced
74102:0572c733d12d 74103:3b56d00ac333
   159   mavenCentral()
   159   mavenCentral()
   160 }
   160 }
   161 
   161 
   162 dependencies {
   162 dependencies {
   163   implementation 'org.scala-lang:scala-library:""" + scala.util.Properties.versionNumberString + """'
   163   implementation 'org.scala-lang:scala-library:""" + scala.util.Properties.versionNumberString + """'
   164   compile files(
   164   compileOnly files(
   165     """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n    ", ")") +
   165     """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n    ", ")") +
   166 """
   166 """
   167 }
   167 }
   168 """)
   168 """)
   169   }
   169   }