diff options
Diffstat (limited to 'deploy/BUILD.bazel')
| -rw-r--r-- | deploy/BUILD.bazel | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/deploy/BUILD.bazel b/deploy/BUILD.bazel new file mode 100644 index 00000000..29f9a5a1 --- /dev/null +++ b/deploy/BUILD.bazel @@ -0,0 +1,13 @@ +load("@rules_jvm_external//:defs.bzl", "java_export") +load("//:maven.bzl", "JAZZER_API_COORDINATES") + +# To publish a new release of the Jazzer API to Maven, run: +# bazel run --config=maven --define "maven_user=..." --define "maven_password=..." --define gpg_sign=true //:api.publish +# Build //:api-docs.jar to generate javadocs for the API. +java_export( + name = "api", + maven_coordinates = JAZZER_API_COORDINATES, + pom_template = "//:jazzer-api.pom", + visibility = ["//visibility:public"], + runtime_deps = ["//agent/src/main/java/com/code_intelligence/jazzer/api"], +) |