From e7de0f978d29dbda7a7feda44a67f76a3f04153f Mon Sep 17 00:00:00 2001 From: Robert Czechowski Date: Fri, 20 Dec 2024 09:54:30 +0100 Subject: [PATCH] build: Build sources and docs jar for jazzer-api and jazzer-junit --- deploy/BUILD.bazel | 7 ------- 1 file changed, 7 deletions(-) diff --git a/deploy/BUILD.bazel b/deploy/BUILD.bazel index 99b9270fe..8335961bc 100644 --- a/deploy/BUILD.bazel +++ b/deploy/BUILD.bazel @@ -38,7 +38,6 @@ java_export( ], maven_coordinates = "com.code-intelligence:jazzer-api:$(JAZZER_VERSION)", pom_template = "//deploy:jazzer-api.pom", - tags = ["no-sources"], toolchains = [":jazzer_version"], visibility = ["//visibility:public"], runtime_deps = ["//src/main/java/com/code_intelligence/jazzer/api"], @@ -89,12 +88,6 @@ java_export( ], maven_coordinates = "com.code-intelligence:jazzer-junit:$(JAZZER_VERSION)", pom_template = "jazzer-junit.pom", - tags = [ - "no-sources", - # Generating javadocs breaks the build due to weird dependency issues. - # Deactivate it for now. - "no-javadocs", - ], toolchains = [":jazzer_version"], visibility = ["//visibility:public"], runtime_deps = [