error prone configuration new style
@@ -1702,6 +1702,9 @@ module JAVA_PLACEHOLDER: BASE_UNIT {
when($MAKE_UBERJAR_VALUE) {
PEERDIR+=contrib/libs/platform/java/uberjar
}
+ when($ERROR_PRONE_VALUE) {
+ PEERDIR+=contrib/libs/platform/java/error_prone
+ }
NO_PLATFORM()
JAVA_MODULE()
@@ -3408,6 +3411,18 @@ when ($JDK_VERSION == "10") {
JDK10=yes # remove this later
}
+ERROR_PRONE_VERSION=
+when (!$ERROR_PRONE_VERSION) {
+ when ($JDK_VERSION == "8" || $JDK_VERSION == "10") {
+ ERROR_PRONE_VERSION=2.3.1
+ }
+ otherwise {
+ ERROR_PRONE_VERSION=2.3.2
+ }
+}
+
+
# local jdk and tools
USE_SYSTEM_JDK=
USE_SYSTEM_UBERJAR=
+USE_SYSTEM_ERROR_PRONE=
