From 6362c2d54bbadfb85aa75640eee97faf4388929c Mon Sep 17 00:00:00 2001 From: "Lukacs T. Berki" Date: Fri, 26 Apr 2019 07:25:29 -0700 Subject: [PATCH] Remove third_party/checker_* from the binary. The binaries were there because there Java tooling needed it (until it was moved to its own separate repository) and the sources were there for GPL compliance (which is not the case anymore since we don't distribute the binaries, either) To be extra safe on the GPL compliance side, I checked with ``` bazel query "rdeps(//...,//third_party/checker_framework_{javacutil,dataflow})"' ``` whether we have any dependencies on it that might end up being distributed; turns out, the only dependencies are JavaBuilder (which is not distributed with Bazel anymore, as proven by the above query) and some tests. Closes #8163. PiperOrigin-RevId: 245416925 --- src/BUILD | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/BUILD b/src/BUILD index 4f03b841bf5063..5fc8b84e5ba627 100644 --- a/src/BUILD +++ b/src/BUILD @@ -605,6 +605,8 @@ JAVA_VERSIONS = ("9", "10") "//src/java_tools/junitrunner:srcs", "//src/java_tools/singlejar:srcs", "//src/tools/singlejar:embedded_java_tools", + "//third_party/checker_framework_dataflow:srcs", + "//third_party/checker_framework_javacutil:srcs", "//third_party/jarjar:srcs", "//third_party/ijar:transitive_sources", "//third_party/java/jacoco:jacoco_source_jars_zip",