diff -r 71c04702a3d5 -r 72e3ae9a25eb make/langtools/build.xml --- a/make/langtools/build.xml Tue Sep 12 19:03:39 2017 +0200 +++ b/make/langtools/build.xml Tue Sep 12 19:03:56 2017 +0200 @@ -53,7 +53,7 @@ - utility definitions --> - + @@ -61,7 +61,7 @@ - + @@ -72,10 +72,10 @@ - + - + @@ -83,29 +83,26 @@ - - - - + - + + + fs = project.getProperty("file.separator"); path = project.getProperty("build.modules"); mod = source.substr(source.lastIndexOf(fs)+1); self.addMappedName(mod + "=\"" + path + fs + mod + "\""); - - + fs = project.getProperty("file.separator"); path = project.getProperty("build.modules"); mod = source.substr(source.lastIndexOf(fs)+1); self.addMappedName(mod + "=" + path + fs + mod); - @@ -198,6 +195,7 @@ + @@ -208,22 +206,48 @@ - + + + + fs = project.getProperty("file.separator"); + path_src = project.getProperty("src.dir"); + path_sep = project.getProperty("path.separator"); + path_gensrc = project.getProperty("build.gensrc"); + mod = source.substr(source.lastIndexOf(fs)+1); + self.addMappedName(mod + "=" + path_src + fs + mod + path_sep + path_gensrc + fs + mod); + + + + + + + + + + + + ${source.files} - - + + + + + + + + @@ -247,7 +271,7 @@ - + @@ -267,7 +291,7 @@