src/Pure/Tools/scala_project.scala
changeset 75082 ea4fa50dbb74
parent 74960 f03ece7155d6
child 75393 87ebf5a50283
equal deleted inserted replaced
75079:8a48a9be91ce 75082:ea4fa50dbb74
    27       (dir + project_root).is_file &&
    27       (dir + project_root).is_file &&
    28       (dir + scala_src_dir).is_dir
    28       (dir + scala_src_dir).is_dir
    29 
    29 
    30     def package_dir(source_file: Path): Path =
    30     def package_dir(source_file: Path): Path =
    31     {
    31     {
    32       val is_java = source_file.is_java
       
    33       val dir =
    32       val dir =
    34         package_name(source_file) match {
    33         package_name(source_file) match {
    35           case Some(name) =>
    34           case Some(name) => Path.explode(space_explode('.', name).mkString("/"))
    36             if (is_java) Path.explode(space_explode('.', name).mkString("/"))
       
    37             else Path.basic(name)
       
    38           case None => error("Failed to guess package from " + source_file)
    35           case None => error("Failed to guess package from " + source_file)
    39         }
    36         }
    40       (if (is_java) java_src_dir else scala_src_dir) + dir
    37       (if (source_file.is_java) java_src_dir else scala_src_dir) + dir
    41     }
    38     }
    42   }
    39   }
    43 
    40 
    44   def build_tools: List[Build_Tool] = List(Gradle, Maven)
    41   def build_tools: List[Build_Tool] = List(Gradle, Maven)
    45 
    42