--- a/src/Pure/Tools/scala_project.scala Wed Jun 30 20:57:38 2021 +0200
+++ b/src/Pure/Tools/scala_project.scala Wed Jun 30 21:30:37 2021 +0200
@@ -111,12 +111,18 @@
if (project_dir.is_file || project_dir.is_dir)
error("Project directory already exists: " + project_dir)
- val src_dir = project_dir + Path.explode("src/main/scala")
val java_src_dir = project_dir + Path.explode("src/main/java")
val scala_src_dir = Isabelle_System.make_directory(project_dir + Path.explode("src/main/scala"))
Isabelle_System.copy_dir(Path.explode("~~/src/Tools/jEdit/dist/jEdit"), java_src_dir)
+ if (symlinks) {
+ Isabelle_System.symlink(Path.explode("~~/src/Tools/Setup/src/isabelle"), java_src_dir)
+ }
+ else {
+ Isabelle_System.copy_dir(Path.explode("~~/src/Tools/Setup/src"), java_src_dir)
+ }
+
val files = isabelle_files
isabelle_scala_files