diff options
| author | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-23 10:44:33 -0500 |
|---|---|---|
| committer | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-26 12:54:21 -0500 |
| commit | 78378144e71a00a67690a1f99152402c892b0103 (patch) | |
| tree | ad4a0fb27d54d0b5da4adfe6b9626cab7a939c69 /base/java-tools | |
| parent | 621d9e5c413e561293d7484b93882d985b3fe15f (diff) | |
| download | pki-78378144e71a00a67690a1f99152402c892b0103.tar.gz pki-78378144e71a00a67690a1f99152402c892b0103.tar.xz pki-78378144e71a00a67690a1f99152402c892b0103.zip | |
Added option to build without Javadoc.
The build scripts have been modified to provide an option to build
without Javadoc to speed up development builds. The option can be
used as follows:
compose_pki_core_packages --without-javadoc hybrid_rpms
Ticket #111
Diffstat (limited to 'base/java-tools')
| -rw-r--r-- | base/java-tools/src/CMakeLists.txt | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/base/java-tools/src/CMakeLists.txt b/base/java-tools/src/CMakeLists.txt index 0411a54c7..e6152dcf9 100644 --- a/base/java-tools/src/CMakeLists.txt +++ b/base/java-tools/src/CMakeLists.txt @@ -75,13 +75,15 @@ install( install_jar(pki-tools ${JAVA_JAR_INSTALL_DIR}/pki) set(PKI_TOOLS_JAR ${pki-tools_JAR_FILE} CACHE INTERNAL "pki-tools jar file") -create_javadoc(pki-java-tools-${APPLICATION_VERSION} - FILES ${pki-tools_java_SRCS} - CLASSPATH ${CMAKE_JAVA_INCLUDE_PATH} - WINDOWTITLE "pki-java-tools" - DOCTITLE "<h1>pki-java-tools</h1>" - AUTHOR TRUE - USE TRUE - VERSION TRUE -) -add_dependencies(pki-java-tools-${APPLICATION_VERSION}_javadoc pki-tools) +if(WITH_JAVADOC) + create_javadoc(pki-java-tools-${APPLICATION_VERSION} + FILES ${pki-tools_java_SRCS} + CLASSPATH ${CMAKE_JAVA_INCLUDE_PATH} + WINDOWTITLE "pki-java-tools" + DOCTITLE "<h1>pki-java-tools</h1>" + AUTHOR TRUE + USE TRUE + VERSION TRUE + ) + add_dependencies(pki-java-tools-${APPLICATION_VERSION}_javadoc pki-tools) +endif(WITH_JAVADOC) |