equal
deleted
inserted
replaced
23 def find_jars(dir: JFile): List[String] = |
23 def find_jars(dir: JFile): List[String] = |
24 File.find_files(dir, file => file.getName.endsWith(".jar")). |
24 File.find_files(dir, file => file.getName.endsWith(".jar")). |
25 map(File.absolute_name) |
25 map(File.absolute_name) |
26 |
26 |
27 val class_path = |
27 val class_path = |
28 space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", "")) |
28 for { |
|
29 prop <- List("scala.boot.class.path", "java.class.path") |
|
30 path = System.getProperty(prop, "") if path != "\"\"" |
|
31 elem <- space_explode(JFile.pathSeparatorChar, path) |
|
32 } yield elem |
29 |
33 |
30 (class_path ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator) |
34 (class_path ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator) |
31 } |
35 } |
32 |
36 |
33 def compiler_settings( |
37 def compiler_settings( |