third_party/checker_framework_dataflow/BUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package(default_visibility = ["//visibility:public"])

licenses(["restricted"])  # GNU GPL v2 with Classpath exception

filegroup(
    name = "srcs",
    srcs = glob(["**"]),
)

java_import(
    name = "checker_framework_dataflow",
    jars = ["dataflow-2.5.0.jar"],
    srcjar = "dataflow-2.5.0-sources.jar",
    deps = [
        "//third_party/checker_framework_javacutil",
    ],
)

filegroup(
    name = "bootstrap",
    srcs = ["dataflow-2.5.0.jar"],
)