author | wenzelm |
Mon, 02 Aug 2021 13:50:45 +0200 | |
changeset 74103 | 3b56d00ac333 |
parent 74071 | b25b7c264a93 |
child 74104 | fa92c5f8af86 |
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 |
|
74054 | 4 |
Manage Isabelle/Scala/Java project sources, with output to Gradle for |
5 |
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 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
11 |
object Scala_Project |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
12 |
{ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
13 |
/* groovy syntax */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
14 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
15 |
def groovy_string(s: String): String = |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
16 |
{ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
17 |
s.map(c => |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
18 |
c match { |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
19 |
case '\t' | '\b' | '\n' | '\r' | '\f' | '\\' | '\'' | '"' => "\\" + c |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
20 |
case _ => c.toString |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
21 |
}).mkString("'", "", "'") |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
22 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
23 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
24 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
25 |
/* file and directories */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
26 |
|
74055 | 27 |
def plugin_contexts(): List[Scala_Build.Context] = |
74032
c9ec6f03ab91
more complete scala_project, including Isabelle/jEdit plugins;
wenzelm
parents:
74030
diff
changeset
|
28 |
for (plugin <- List("jedit_base", "jedit_main")) |
74055 | 29 |
yield Scala_Build.context(Path.explode("$ISABELLE_HOME/src/Tools/jEdit") + Path.basic(plugin)) |
74032
c9ec6f03ab91
more complete scala_project, including Isabelle/jEdit plugins;
wenzelm
parents:
74030
diff
changeset
|
30 |
|
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
31 |
lazy val isabelle_files: (List[Path], List[Path]) = |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
32 |
{ |
74055 | 33 |
val contexts = Scala_Build.component_contexts() ::: plugin_contexts() |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
34 |
|
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
35 |
val jars1 = Path.split(Isabelle_System.getenv("ISABELLE_CLASSPATH")) |
74056 | 36 |
val jars2 = contexts.flatMap(_.requirements) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
37 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
38 |
val jars = |
74056 | 39 |
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
|
40 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
41 |
val sources = |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
42 |
(for { |
74032
c9ec6f03ab91
more complete scala_project, including Isabelle/jEdit plugins;
wenzelm
parents:
74030
diff
changeset
|
43 |
context <- contexts.iterator |
74056 | 44 |
path <- context.sources.iterator |
45 |
if path.is_scala || path.is_java |
|
46 |
} yield path).toList |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
47 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
48 |
(jars, sources) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
49 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
50 |
|
72762 | 51 |
lazy val isabelle_scala_files: Map[String, Path] = |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
52 |
{ |
74055 | 53 |
val context = Scala_Build.context(Path.ISABELLE_HOME, component = true) |
74056 | 54 |
context.sources.iterator.foldLeft(Map.empty[String, Path]) { |
55 |
case (map, path) => |
|
56 |
if (path.is_scala) { |
|
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
57 |
val base = path.base.implode |
72762 | 58 |
map.get(base) match { |
59 |
case None => map + (base -> path) |
|
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
60 |
case Some(path2) => error("Conflicting base names: " + path + " vs. " + path2) |
72762 | 61 |
} |
62 |
} |
|
63 |
else map |
|
73359 | 64 |
} |
73675 | 65 |
} |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
66 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
67 |
|
72755 | 68 |
/* compile-time position */ |
69 |
||
70 |
def here: Here = |
|
71 |
{ |
|
72 |
val exn = new Exception |
|
73 |
exn.getStackTrace.toList match { |
|
74 |
case _ :: caller :: _ => |
|
75 |
val name = proper_string(caller.getFileName).getOrElse("") |
|
76 |
val line = caller.getLineNumber |
|
77 |
new Here(name, line) |
|
78 |
case _ => new Here("", 0) |
|
79 |
} |
|
80 |
} |
|
81 |
||
82 |
class Here private[Scala_Project](name: String, line: Int) |
|
83 |
{ |
|
84 |
override def toString: String = name + ":" + line |
|
85 |
def position: Position.T = |
|
72762 | 86 |
isabelle_scala_files.get(name) match { |
87 |
case Some(path) => Position.Line_File(line, path.implode) |
|
88 |
case None => Position.none |
|
72755 | 89 |
} |
90 |
} |
|
91 |
||
92 |
||
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
93 |
/* scala project */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
94 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
95 |
val default_project_dir = Path.explode("$ISABELLE_HOME_USER/scala_project") |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
96 |
|
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
97 |
def package_dir(source_file: Path): Option[Path] = |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
98 |
{ |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
99 |
val lines = split_lines(File.read(source_file)) |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
100 |
val Package = """\s*\bpackage\b\s*(?:object\b\s*)?((?:\w|\.)+)\b.*""".r |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
101 |
lines.collectFirst( |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
102 |
{ |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
103 |
case Package(name) => |
74056 | 104 |
if (source_file.is_java) Path.explode(space_explode('.', name).mkString("/")) |
74030
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
105 |
else Path.basic(name) |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
106 |
}) |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
107 |
} |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
108 |
|
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
109 |
def the_package_dir(source_file: Path): Path = |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
110 |
package_dir(source_file) getOrElse error("Failed to guess package from " + source_file) |
39e05601faeb
more accurate scala_project, based on build.props of components;
wenzelm
parents:
73987
diff
changeset
|
111 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
112 |
def scala_project( |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
113 |
project_dir: Path = default_project_dir, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
114 |
more_sources: List[Path] = Nil, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
115 |
symlinks: Boolean = false, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
116 |
force: Boolean = false, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
117 |
progress: Progress = new Progress): Unit = |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
118 |
{ |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
119 |
if (project_dir.file.exists) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
120 |
val detect = |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
121 |
project_dir.is_dir && |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
122 |
(project_dir + Path.explode("build.gradle")).is_file && |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
123 |
(project_dir + Path.explode("src/main/scala")).is_dir |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
124 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
125 |
if (force && detect) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
126 |
progress.echo("Purging existing project directory: " + project_dir.absolute) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
127 |
Isabelle_System.rm_tree(project_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
128 |
} |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
129 |
else error("Project directory already exists: " + project_dir.absolute) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
130 |
} |
71524
4b908e70d642
copy jEdit sources instead of jar, for better browsing experience;
wenzelm
parents:
71503
diff
changeset
|
131 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
132 |
progress.echo("Creating project directory: " + project_dir.absolute) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
133 |
Isabelle_System.make_directory(project_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
134 |
|
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
135 |
val java_src_dir = Isabelle_System.make_directory(Path.explode("src/main/java")) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
136 |
val scala_src_dir = Isabelle_System.make_directory(Path.explode("src/main/scala")) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
137 |
|
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
138 |
val (jars, sources) = isabelle_files |
72762 | 139 |
isabelle_scala_files |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
140 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
141 |
for (source <- sources ::: more_sources) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
142 |
val dir = (if (source.is_java) java_src_dir else scala_src_dir) + the_package_dir(source) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
143 |
val target_dir = project_dir + dir |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
144 |
if (!target_dir.is_dir) { |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
145 |
progress.echo(" Creating package directory: " + dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
146 |
Isabelle_System.make_directory(target_dir) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
147 |
} |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
148 |
if (symlinks) Isabelle_System.symlink(source.absolute, target_dir, native = true) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
149 |
else Isabelle_System.copy_file(source, target_dir) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
150 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
151 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
152 |
File.write(project_dir + Path.explode("settings.gradle"), "rootProject.name = 'Isabelle'\n") |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
153 |
File.write(project_dir + Path.explode("build.gradle"), |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
154 |
"""plugins { |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
155 |
id 'scala' |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
156 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
157 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
158 |
repositories { |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
159 |
mavenCentral() |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
160 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
161 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
162 |
dependencies { |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
163 |
implementation 'org.scala-lang:scala-library:""" + scala.util.Properties.versionNumberString + """' |
74103
3b56d00ac333
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
wenzelm
parents:
74071
diff
changeset
|
164 |
compileOnly files( |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
165 |
""" + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n ", ")") + |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
166 |
""" |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
167 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
168 |
""") |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
169 |
} |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
170 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
171 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
172 |
/* Isabelle tool wrapper */ |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
173 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
174 |
val isabelle_tool = |
72763 | 175 |
Isabelle_Tool("scala_project", "setup Gradle project for Isabelle/Scala/jEdit", |
176 |
Scala_Project.here, args => |
|
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
177 |
{ |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
178 |
var project_dir = default_project_dir |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
179 |
var symlinks = false |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
180 |
var force = false |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
181 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
182 |
val getopts = Getopts(""" |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
183 |
Usage: isabelle scala_project [OPTIONS] [MORE_SOURCES ...] |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
184 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
185 |
Options are: |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
186 |
-D DIR project directory (default: """ + default_project_dir + """) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
187 |
-L make symlinks to original source files |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
188 |
-f force update of existing directory |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
189 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
190 |
Setup Gradle project for Isabelle/Scala/jEdit --- to support Scala IDEs |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
191 |
such as IntelliJ IDEA. |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
192 |
""", |
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
193 |
"D:" -> (arg => project_dir = Path.explode(arg)), |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
194 |
"L" -> (_ => symlinks = true), |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
195 |
"f" -> (_ => force = true)) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
196 |
|
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
197 |
val more_args = getopts(args) |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
198 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
199 |
val more_sources = more_args.map(Path.explode) |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
200 |
val progress = new Console_Progress |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
201 |
|
74071
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
202 |
scala_project(project_dir = project_dir, more_sources = more_sources, |
b25b7c264a93
various improvements of "isabelle scala_project";
wenzelm
parents:
74070
diff
changeset
|
203 |
symlinks = symlinks, force = force, progress = progress) |
71378
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
204 |
}) |
820cf124dced
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
wenzelm
parents:
diff
changeset
|
205 |
} |