svn commit: r528500 - in head/math: . dune-spgrid dune-spgrid/files

[Yuri]

On 2020-03-16 01:45, Mathieu Arnold wrote:
> DOCS CANNOT bring in doxygen.  You MUST use a DOXYGEN option for that.


What is confusing about this is that if to make it this way:

OPTIONS_DEFINE= DOCS DOXYGEN
OPTIONS_SUB=    yes

DOCS_CMAKE_BOOL=        FREEBSD_INSTALL_DOCS
DOCS_BUILD_DEPENDS=     latex:print/tex-formats \
                         sphinx-build:textproc/py-sphinx

DOXYGEN_BUILD_DEPENDS=  doxygen:devel/doxygen
DOXYGEN_IMPLIES=        DOCS

this would allow an invalid combination of options DOCS=ON DOXYGEN=OFF. 
Instead of a binary DOCS option it becomes a tri-state option with one 
of 3 choices being invalid.


Yuri