diff options
Diffstat (limited to 'tools/jdk/default_java_toolchain.bzl')
| -rw-r--r-- | tools/jdk/default_java_toolchain.bzl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/jdk/default_java_toolchain.bzl b/tools/jdk/default_java_toolchain.bzl index 5d7c8be0eb..0361afacc1 100644 --- a/tools/jdk/default_java_toolchain.bzl +++ b/tools/jdk/default_java_toolchain.bzl @@ -86,3 +86,19 @@ def default_java_toolchain(name, **kwargs): name = name, **toolchain_args ) + +def java_runtime_files(name, srcs): + """Copies the given sources out of the current Java runtime.""" + + native.filegroup( + name = name, + srcs = srcs, + ) + for src in srcs: + native.genrule( + name = "gen_%s" % src, + srcs = ["//tools/jdk:current_java_runtime"], + toolchains = ["//tools/jdk:current_java_runtime"], + cmd = "cp $(JAVABASE)/%s $@" % src, + outs = [src], + ) |