• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1load("@rules_jvm_external//:defs.bzl", "java_export")
2load("//:maven.bzl", "JAZZER_API_COORDINATES")
3
4# To publish a new release of the Jazzer API to Maven, run:
5# bazel run --config=maven --define "maven_user=..." --define "maven_password=..." --define gpg_sign=true //:api.publish
6# Build //:api-docs.jar to generate javadocs for the API.
7java_export(
8    name = "api",
9    maven_coordinates = JAZZER_API_COORDINATES,
10    pom_template = "//:jazzer-api.pom",
11    visibility = ["//visibility:public"],
12    runtime_deps = ["//agent/src/main/java/com/code_intelligence/jazzer/api"],
13)
14