diff options
author | cushon <cushon@google.com> | 2018-08-08 09:09:08 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-08-08 09:10:56 -0700 |
commit | 30c601dc13d9e1b40a57434c022c888c7578cc56 (patch) | |
tree | 32827f2553c7cc637088eeec7bd5199068b6dcfb /tools/jdk/default_java_toolchain.bzl | |
parent | 3862a807881e423daf88eb47286077e99d4bac08 (diff) |
Don't use @local_jdk for jni headers
instead, read the heads from the configured java runtime, so the values
track with changes to --javabase.
See #5594
PiperOrigin-RevId: 207894086
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], + ) |