diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/BUILD')
| -rw-r--r-- | third_party/checker_framework_dataflow/BUILD | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD new file mode 100644 index 0000000000..5bcebeb7cb --- /dev/null +++ b/third_party/checker_framework_dataflow/BUILD @@ -0,0 +1,25 @@ +package(default_visibility = ["//visibility:public"]) + +licenses(["restricted"]) # GNU GPL v2 with Classpath exception + +filegroup( + name = "srcs", + srcs = glob(["**"]), +) + +java_library( + name = "checker_framework_dataflow", + srcs = glob(["java/**"]), + deps = [ + "//third_party/checker_framework_javacutil", + "@local_jdk//:langtools-neverlink", + ], +) + +load("//tools/build_rules:java_rules_skylark.bzl", "bootstrap_java_library") + +bootstrap_java_library( + name = "bootstrap", + srcs = glob(["java/**"]), + deps = ["//third_party/checker_framework_javacutil:bootstrap"], +) |