equal
deleted
inserted
replaced
228 else error("Project directory already exists: " + project_dir.absolute) |
228 else error("Project directory already exists: " + project_dir.absolute) |
229 } |
229 } |
230 |
230 |
231 progress.echo("Creating " + build_tool + " project directory: " + project_dir.absolute) |
231 progress.echo("Creating " + build_tool + " project directory: " + project_dir.absolute) |
232 Isabelle_System.make_directory(project_dir) |
232 Isabelle_System.make_directory(project_dir) |
233 |
233 Isabelle_System.make_directory(project_dir + build_tool.java_src_dir) |
234 val java_src_dir = Isabelle_System.make_directory(project_dir + build_tool.java_src_dir) |
234 Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir) |
235 val scala_src_dir = Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir) |
|
236 |
235 |
237 val (jars, sources) = isabelle_files |
236 val (jars, sources) = isabelle_files |
238 isabelle_scala_files |
237 isabelle_scala_files |
239 |
238 |
240 build_tool.init_project(project_dir, jars) |
239 build_tool.init_project(project_dir, jars) |