src/Pure/System/scala.scala
changeset 71862 8bbadb065ebe
parent 71850 f640380aaf86
child 71864 bfc120aa737a
equal deleted inserted replaced
71861:1330fa4a2b85 71862:8bbadb065ebe
    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(