author | wenzelm |
Sun, 08 Oct 2023 15:02:01 +0200 | |
changeset 78738 | 323eecf508b4 |
parent 75659 | 9bd92ac9328f |
child 79013 | 4fb5e6499da9 |
permissions | -rw-r--r-- |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
1 |
/* Title: Pure/Tools/scala_project.scala |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
2 |
Author: Makarius |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
3 |
|
74960 | 4 |
Manage Isabelle/Scala/Java project sources, with output to Gradle or |
5 |
Maven for IntelliJ IDEA. |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
6 |
*/ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
7 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
8 |
package isabelle |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
9 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
10 |
|
75393 | 11 |
object Scala_Project { |
74960 | 12 |
/** build tools **/ |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
13 |
|
75416 | 14 |
val java_version: String = "17" |
78738 | 15 |
val scala_version: String = "3.3.0" |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
16 |
|
75393 | 17 |
abstract class Build_Tool { |
74960 | 18 |
def project_root: Path |
19 |
def init_project(dir: Path, jars: List[Path]): Unit |
|
20 |
||
21 |
val java_src_dir: Path = Path.explode("src/main/java") |
|
22 |
val scala_src_dir: Path = Path.explode("src/main/scala") |
|
23 |
||
24 |
def detect_project(dir: Path): Boolean = |
|
25 |
(dir + project_root).is_file && |
|
26 |
(dir + scala_src_dir).is_dir |
|
27 |
||
75393 | 28 |
def package_dir(source_file: Path): Path = { |
74960 | 29 |
val dir = |
30 |
package_name(source_file) match { |
|
75082
ea4fa50dbb74
more robust package_dir, to increase chances that it works with IntelliJ IDEA;
wenzelm
parents:
74960
diff
changeset
|
31 |
case Some(name) => Path.explode(space_explode('.', name).mkString("/")) |
74960 | 32 |
case None => error("Failed to guess package from " + source_file) |
33 |
} |
|
75082
ea4fa50dbb74
more robust package_dir, to increase chances that it works with IntelliJ IDEA;
wenzelm
parents:
74960
diff
changeset
|
34 |
(if (source_file.is_java) java_src_dir else scala_src_dir) + dir |
74960 | 35 |
} |
36 |
} |
|
37 |
||
38 |
def build_tools: List[Build_Tool] = List(Gradle, Maven) |
|
39 |
||
40 |
||
41 |
/* Gradle */ |
|
42 |
||
75393 | 43 |
object Gradle extends Build_Tool { |
74960 | 44 |
override def toString: String = "Gradle" |
45 |
||
46 |
val project_settings: Path = Path.explode("settings.gradle") |
|
47 |
override val project_root: Path = Path.explode("build.gradle") |
|
48 |
||
75393 | 49 |
private def groovy_string(s: String): String = { |
74960 | 50 |
s.map(c => |
51 |
c match { |
|
52 |
case '\t' | '\b' | '\n' | '\r' | '\f' | '\\' | '\'' | '"' => "\\" + c |
|
53 |
case _ => c.toString |
|
54 |
}).mkString("'", "", "'") |
|
55 |
} |
|
56 |
||
75393 | 57 |
override def init_project(dir: Path, jars: List[Path]): Unit = { |
74960 | 58 |
File.write(dir + project_settings, "rootProject.name = 'Isabelle'\n") |
59 |
File.write(dir + project_root, |
|
60 |
"""plugins { |
|
61 |
id 'scala' |
|
62 |
} |
|
63 |
||
64 |
repositories { |
|
65 |
mavenCentral() |
|
66 |
} |
|
67 |
||
68 |
dependencies { |
|
75654 | 69 |
implementation 'org.scala-lang:scala3-library_3:scala-library:""" + scala_version + """' |
74960 | 70 |
compileOnly files( |
71 |
""" + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n ", ")") + |
|
72 |
""" |
|
73 |
} |
|
74 |
""") |
|
75 |
} |
|
76 |
} |
|
77 |
||
78 |
||
79 |
/* Maven */ |
|
80 |
||
75393 | 81 |
object Maven extends Build_Tool { |
74960 | 82 |
override def toString: String = "Maven" |
83 |
||
84 |
override val project_root: Path = Path.explode("pom.xml") |
|
85 |
||
75393 | 86 |
override def init_project(dir: Path, jars: List[Path]): Unit = { |
87 |
def dependency(jar: Path): String = { |
|
74960 | 88 |
val name = jar.expand.drop_ext.base.implode |
89 |
val system_path = File.platform_path(jar.absolute) |
|
75659
9bd92ac9328f
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
wenzelm
parents:
75656
diff
changeset
|
90 |
""" <dependency> |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
91 |
<groupId>classpath</groupId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
92 |
<artifactId>""" + XML.text(name) + """</artifactId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
93 |
<version>0</version> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
94 |
<scope>system</scope> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
95 |
<systemPath>""" + XML.text(system_path) + """</systemPath> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
96 |
</dependency>""" |
74960 | 97 |
} |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
98 |
|
74960 | 99 |
val project = """<?xml version="1.0" encoding="UTF-8"?> |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
100 |
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
101 |
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
102 |
<modelVersion>4.0.0</modelVersion> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
103 |
|
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
104 |
<groupId>isabelle</groupId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
105 |
<artifactId>isabelle</artifactId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
106 |
<version>0</version> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
107 |
|
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
108 |
<properties> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
109 |
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
110 |
<maven.compiler.source>""" + java_version + """</maven.compiler.source> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
111 |
<maven.compiler.target>""" + java_version + """</maven.compiler.target> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
112 |
</properties> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
113 |
|
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
114 |
<build> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
115 |
<plugins> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
116 |
<plugin> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
117 |
<groupId>net.alchim31.maven</groupId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
118 |
<artifactId>scala-maven-plugin</artifactId> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
119 |
<version>4.5.3</version> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
120 |
<configuration> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
121 |
<scalaVersion>""" + scala_version + """</scalaVersion> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
122 |
</configuration> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
123 |
</plugin> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
124 |
</plugins> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
125 |
</build> |
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
126 |
|
74659 | 127 |
<dependencies>""" + jars.map(dependency).mkString("\n", "\n", "\n") + """</dependencies> |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
128 |
</project>""" |
74960 | 129 |
|
130 |
File.write(dir + project_root, project) |
|
131 |
} |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
132 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
133 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
134 |
|
74429
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
135 |
/* plugins: modules with dynamic build */ |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
136 |
|
75393 | 137 |
class Plugin(dir: Path) extends Isabelle_System.Service { |
74429
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
138 |
def context(): Scala_Build.Context = Scala_Build.context(dir) |
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
139 |
} |
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
140 |
|
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
141 |
lazy val plugins: List[Plugin] = Isabelle_System.make_services(classOf[Plugin]) |
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
142 |
|
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
143 |
|
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
144 |
/* file and directories */ |
74032
c9ec6f03ab91
more complete scala_project, including Isabelle/jEdit plugins;
wenzelm
parents:
74030
diff
changeset
|
145 |
|
75393 | 146 |
lazy val isabelle_files: (List[Path], List[Path]) = { |
74429
fedc0b659881
provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents:
74104
diff
changeset
|
147 |
val contexts = Scala_Build.component_contexts() ::: plugins.map(_.context()) |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
148 |
|
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
149 |
val jars1 = Path.split(Isabelle_System.getenv("ISABELLE_CLASSPATH")) |
74056 | 150 |
val jars2 = contexts.flatMap(_.requirements) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
151 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
152 |
val jars = |
74056 | 153 |
Library.distinct(jars1 ::: jars2).filterNot(path => contexts.exists(_.is_module(path))) |
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
73912
diff
changeset
|
154 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
155 |
val sources = |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
156 |
(for { |
74032
c9ec6f03ab91
more complete scala_project, including Isabelle/jEdit plugins;
wenzelm
parents:
74030
diff
changeset
|
157 |
context <- contexts.iterator |
74056 | 158 |
path <- context.sources.iterator |
159 |
if path.is_scala || path.is_java |
|
160 |
} yield path).toList |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
161 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
162 |
(jars, sources) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
163 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
164 |
|
75656 | 165 |
lazy val isabelle_scala_files: Map[String, Path] = |
166 |
Scala_Build.context(Path.ISABELLE_HOME, component = true) |
|
167 |
.sources.iterator.foldLeft(Map.empty[String, Path]) { |
|
168 |
case (map, path) => |
|
169 |
if (path.is_scala) { |
|
170 |
val base = path.base.implode |
|
171 |
map.get(base) match { |
|
172 |
case None => map + (base -> path) |
|
173 |
case Some(path2) => error("Conflicting base names: " + path + " vs. " + path2) |
|
174 |
} |
|
72762 | 175 |
} |
75656 | 176 |
else map |
177 |
} |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
178 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
179 |
|
72755 | 180 |
/* compile-time position */ |
181 |
||
75393 | 182 |
def here: Here = { |
72755 | 183 |
val exn = new Exception |
184 |
exn.getStackTrace.toList match { |
|
185 |
case _ :: caller :: _ => |
|
186 |
val name = proper_string(caller.getFileName).getOrElse("") |
|
187 |
val line = caller.getLineNumber |
|
188 |
new Here(name, line) |
|
189 |
case _ => new Here("", 0) |
|
190 |
} |
|
191 |
} |
|
192 |
||
75393 | 193 |
class Here private[Scala_Project](name: String, line: Int) { |
72755 | 194 |
override def toString: String = name + ":" + line |
195 |
def position: Position.T = |
|
72762 | 196 |
isabelle_scala_files.get(name) match { |
197 |
case Some(path) => Position.Line_File(line, path.implode) |
|
198 |
case None => Position.none |
|
72755 | 199 |
} |
200 |
} |
|
201 |
||
202 |
||
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
203 |
/* scala project */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
204 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
205 |
val default_project_dir = Path.explode("$ISABELLE_HOME_USER/scala_project") |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
206 |
|
75393 | 207 |
def package_name(source_file: Path): Option[String] = { |
74830 | 208 |
val lines = Library.trim_split_lines(File.read(source_file)) |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
209 |
val Package = """\s*\bpackage\b\s*(?:object\b\s*)?((?:\w|\.)+)\b.*""".r |
74104 | 210 |
lines.collectFirst({ case Package(name) => name }) |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
211 |
} |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
212 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
213 |
def scala_project( |
74960 | 214 |
build_tool: Build_Tool, |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
215 |
project_dir: Path = default_project_dir, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
216 |
more_sources: List[Path] = Nil, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
217 |
symlinks: Boolean = false, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
218 |
force: Boolean = false, |
75393 | 219 |
progress: Progress = new Progress |
220 |
): Unit = { |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
221 |
if (project_dir.file.exists) { |
74960 | 222 |
val detect = project_dir.is_dir && build_tools.exists(_.detect_project(project_dir)) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
223 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
224 |
if (force && detect) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
225 |
progress.echo("Purging existing project directory: " + project_dir.absolute) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
226 |
Isabelle_System.rm_tree(project_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
227 |
} |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
228 |
else error("Project directory already exists: " + project_dir.absolute) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
229 |
} |
71524
4b908e70d642
copy jEdit sources instead of jar, for better browsing experience;
wenzelm
parents:
71503
diff
changeset
|
230 |
|
74960 | 231 |
progress.echo("Creating " + build_tool + " project directory: " + project_dir.absolute) |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
232 |
Isabelle_System.make_directory(project_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
233 |
|
74960 | 234 |
val java_src_dir = Isabelle_System.make_directory(project_dir + build_tool.java_src_dir) |
235 |
val scala_src_dir = Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir) |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
236 |
|
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
237 |
val (jars, sources) = isabelle_files |
72762 | 238 |
isabelle_scala_files |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
239 |
|
74960 | 240 |
build_tool.init_project(project_dir, jars) |
74656
0659536b150b
more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm
parents:
74429
diff
changeset
|
241 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
242 |
for (source <- sources ::: more_sources) { |
74960 | 243 |
val dir = build_tool.package_dir(source) |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
244 |
val target_dir = project_dir + dir |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
245 |
if (!target_dir.is_dir) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
246 |
progress.echo(" Creating package directory: " + dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
247 |
Isabelle_System.make_directory(target_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
248 |
} |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
249 |
if (symlinks) Isabelle_System.symlink(source.absolute, target_dir, native = true) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
250 |
else Isabelle_System.copy_file(source, target_dir) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
251 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
252 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
253 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
254 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
255 |
/* Isabelle tool wrapper */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
256 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
257 |
val isabelle_tool = |
74960 | 258 |
Isabelle_Tool("scala_project", "setup IDE project for Isabelle/Java/Scala sources", |
75393 | 259 |
Scala_Project.here, |
75394 | 260 |
{ args => |
261 |
var build_tool: Option[Build_Tool] = None |
|
262 |
var project_dir = default_project_dir |
|
263 |
var symlinks = false |
|
264 |
var force = false |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
265 |
|
75394 | 266 |
val getopts = Getopts(""" |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
267 |
Usage: isabelle scala_project [OPTIONS] [MORE_SOURCES ...] |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
268 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
269 |
Options are: |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
270 |
-D DIR project directory (default: """ + default_project_dir + """) |
74960 | 271 |
-G use Gradle as build tool |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
272 |
-L make symlinks to original source files |
74960 | 273 |
-M use Maven as build tool |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
274 |
-f force update of existing directory |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
275 |
|
74960 | 276 |
Setup project for Isabelle/Scala/jEdit --- to support common IDEs such |
277 |
as IntelliJ IDEA. Either option -G or -M is mandatory to specify the |
|
278 |
build tool. |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
279 |
""", |
75394 | 280 |
"D:" -> (arg => project_dir = Path.explode(arg)), |
281 |
"G" -> (_ => build_tool = Some(Gradle)), |
|
282 |
"L" -> (_ => symlinks = true), |
|
283 |
"M" -> (_ => build_tool = Some(Maven)), |
|
284 |
"f" -> (_ => force = true)) |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
285 |
|
75394 | 286 |
val more_args = getopts(args) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
287 |
|
75394 | 288 |
val more_sources = more_args.map(Path.explode) |
289 |
val progress = new Console_Progress |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
290 |
|
75394 | 291 |
if (build_tool.isEmpty) { |
292 |
error("Unspecified build tool: need to provide option -G or -M") |
|
293 |
} |
|
74960 | 294 |
|
75394 | 295 |
scala_project(build_tool.get, project_dir = project_dir, more_sources = more_sources, |
296 |
symlinks = symlinks, force = force, progress = progress) |
|
297 |
}) |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
298 |
} |