Re: Dealing with DOCS that depends on DOXYGEN

From: Mathieu Arnold <>
Date: Sun, 17 Sep 2023 13:56:55 UTC
On Sun, Sep 17, 2023 at 09:02:08AM +0100, Nuno Teixeira wrote:
> Hello all,
> What's the best way to deal with DOCS that depends in DOXYGEN to be builted?
> I've saw some ports that have DOCS with implicit dependency on DOXYGEN but
> most of the time DOCS are doing nothing with default ON with DOXYGEN
> default OFF.
> Some ports just don't have DOCS available, only DOXYGEN.
> Any help will be welcome.

Well, ports that need doxygen to build docs need to hide it behind a
DOXYGEN option. This option also needs to depend on DOCS, so that
disabling DOCS globally also disables the DOXYGEN option.

Ports that don't have the DOXYGEN needs DOCS things should be fixed.

Having the DOCS option install nothing, though sub-optimal, is not
really a problem.

Mathieu Arnold