diff options
| -rw-r--r-- | third_party/BUILD | 20 | ||||
| -rw-r--r-- | third_party/README.md | 12 | ||||
| -rw-r--r-- | third_party/checker_framework_dataflow/dataflow-1.8.10.jar | bin | 0 -> 289725 bytes | |||
| -rw-r--r-- | third_party/jformatstring/jFormatString-3.0.0.jar | bin | 0 -> 34741 bytes |
4 files changed, 32 insertions, 0 deletions
diff --git a/third_party/BUILD b/third_party/BUILD index 086d087550..80a3a91742 100644 --- a/third_party/BUILD +++ b/third_party/BUILD @@ -174,14 +174,34 @@ java_import( "error_prone/error_prone_core-2.0.4.jar", "error_prone/error_prone_annotations-2.0.4.jar", ], + exports = [ + ":checker_framework_dataflow", + ":jformatstring", + ], +) + +java_import( + name = "jformatstring", + jars = [ + "jformatstring/jFormatString-3.0.0.jar", + ], +) + +java_import( + name = "checker_framework_dataflow", + jars = [ + "checker_framework_dataflow/dataflow-1.8.10.jar", + ], ) # For bootstrapping JavaBuilder filegroup( name = "error_prone-jars", srcs = [ + "checker_framework_dataflow/dataflow-1.8.10.jar", "error_prone/error_prone_annotations-2.0.4.jar", "error_prone/error_prone_core-2.0.4.jar", + "jformatstring/jFormatString-3.0.0.jar", ], ) diff --git a/third_party/README.md b/third_party/README.md index 4608881e77..18d2ef6250 100644 --- a/third_party/README.md +++ b/third_party/README.md @@ -86,6 +86,18 @@ a minimal set of extra dependencies. * Version: 2.0.4 * License: Apache License 2.0 +[jFormatString](https://code.google.com/p/j-format-string/) +--------------- + +* Version: 3.0.0 +* License: GNU GPL v2 + +[Checker Framework Dataflow](http://code.google.com/p/checker-framework/) +---------------------------- + +* Version: 1.8.10 +* License: GPLv2, portions MIT + [Buck (iOS support)](http://facebook.github.io/buck/) -------------------- diff --git a/third_party/checker_framework_dataflow/dataflow-1.8.10.jar b/third_party/checker_framework_dataflow/dataflow-1.8.10.jar Binary files differnew file mode 100644 index 0000000000..4cbe8f1f3d --- /dev/null +++ b/third_party/checker_framework_dataflow/dataflow-1.8.10.jar diff --git a/third_party/jformatstring/jFormatString-3.0.0.jar b/third_party/jformatstring/jFormatString-3.0.0.jar Binary files differnew file mode 100644 index 0000000000..bdcb8466ba --- /dev/null +++ b/third_party/jformatstring/jFormatString-3.0.0.jar |