deploy/BUILD.bazel

load("@rules_jvm_external//:defs.bzl", "java_export")
load("//:maven.bzl", "JAZZER_API_COORDINATES", "JAZZER_JUNIT_COORDINATES", "JAZZER_JUNIT_MAVEN_DEPS")

# 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 //deploy:api.publish
# Build //deploy:api-docs 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"],
)

java_export(
    name = "junit",
    maven_coordinates = JAZZER_JUNIT_COORDINATES,
    pom_template = "jazzer-junit.pom",
    # Do not generate an implicit javadocs target - the current target is based on the shaded deploy
    # JAR including all dependencies, which breaks javadoc.
    tags = ["no-javadocs"],
    visibility = ["//visibility:public"],
    runtime_deps = [
        "//driver/src/main/java/com/code_intelligence/jazzer/junit",
    ] + JAZZER_JUNIT_MAVEN_DEPS,
)

alias(
    name = "junit-javadocs",
    actual = "//driver/src/main/java/com/code_intelligence/jazzer/junit:junit-docs",
)