#111 Option to build with/without Javadoc
Closed: Fixed Opened by edewata.

Generating Javadoc is relatively slow. For development there should be an option to do a quick build without the Javadoc.

The option can be added as follows:

option(WITHOUT_JAVADOC "Build without javadoc" OFF)

or

option(WITH_JAVADOC "Build with javadoc support" ON)

The Javadoc commands can be excluded as follows:

if (NOT WITHOUT_JAVADOC)
  build javadoc ...
endif()

or

if (WITH_JAVADOC)
  build javadoc ...
endif()

master:

  • 78378144e71a00a67690a1f99152402c892b0103

Metadata Update from @edewata:
- Issue assigned to edewata
- Issue set to the milestone: Dogtag 10.0 - Phase 1

Dogtag PKI is moving from Pagure issues to GitHub issues. This means that existing or new
issues will be reported and tracked through Dogtag PKI's GitHub Issue tracker.

This issue has been cloned to GitHub and is available here:
https://github.com/dogtagpki/pki/issues/683

If you want to receive further updates on the issue, please navigate to the
GitHub issue and click on Subscribe button.

Thank you for understanding, and we apologize for any inconvenience.

Metadata