equal
deleted
inserted
replaced
10 |
10 |
11 object Scala_Project { |
11 object Scala_Project { |
12 /** build tools **/ |
12 /** build tools **/ |
13 |
13 |
14 val java_version: String = "17" |
14 val java_version: String = "17" |
15 val scala_version: String = "2.13.5" |
15 val scala_version: String = "3.1.3" |
16 |
16 |
17 abstract class Build_Tool { |
17 abstract class Build_Tool { |
18 def project_root: Path |
18 def project_root: Path |
19 def init_project(dir: Path, jars: List[Path]): Unit |
19 def init_project(dir: Path, jars: List[Path]): Unit |
20 |
20 |
64 repositories { |
64 repositories { |
65 mavenCentral() |
65 mavenCentral() |
66 } |
66 } |
67 |
67 |
68 dependencies { |
68 dependencies { |
69 implementation 'org.scala-lang:scala-library:""" + scala_version + """' |
69 implementation 'org.scala-lang:scala3-library_3:scala-library:""" + scala_version + """' |
70 compileOnly files( |
70 compileOnly files( |
71 """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n ", ")") + |
71 """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n ", ")") + |
72 """ |
72 """ |
73 } |
73 } |
74 """) |
74 """) |