diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2016-12-21 18:29:04 +0100 |
|---|---|---|
| committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-12-21 18:29:04 +0100 |
| commit | f1ce35f4691fa5cd8849bf8944d1a4bdd2393690 (patch) | |
| tree | 8687d77030d82048b53612e0bce816555dd46dd2 /third_party/checker_framework_dataflow | |
| parent | b649428620711c12ba18f7f1477d36742f267a31 (diff) | |
Revert commit 6d31cb01b80d0560c0c083d40e641816877b3d06.
Commit 6d31cb was an internal reorganization of google repository
that should have resulted in no change. Due to a bug in our export
process it deleted several files in third_party.
Diffstat (limited to 'third_party/checker_framework_dataflow')
| -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"], +) |