diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/BUILD')
| -rw-r--r-- | third_party/checker_framework_dataflow/BUILD | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD deleted file mode 100644 index 5bcebeb7cb..0000000000 --- a/third_party/checker_framework_dataflow/BUILD +++ /dev/null @@ -1,25 +0,0 @@ -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"], -) |