Message4712

Author florian
Recipients florian, malte
Date 2015-10-30.18:45:45
Content
Hiding a plugin should be possible in the macro fast_downward_plugin in
cmake_plugins/FastDownwardMacros.cmake.

Together with the parameter DEACTIVATED, we could define the parameter HIDDEN:
    set(_OPTIONS HIDDEN DEACTIVATED)
We could also replace DEACTIVATED, because it is not used anymore.

Then, after parsing the parameters and defining the option, the following lines
should hide the option:
    if(_PLUGIN_HIDDEN)
        mark_as_advanced(PLUGIN_${_PLUGIN_NAME}_ENABLED)
    endif()

When you define the plugin in src/search/DownwardFiles.cmake just add HIDDEN
after the list of sources.

A short local test seemed to work, but I didn't test it thoroughly.
History
Date User Action Args
2015-10-30 18:45:45floriansetmessageid: <1446227145.21.0.0497853675066.issue119@unibas.ch>
2015-10-30 18:45:45floriansetrecipients: + florian, malte
2015-10-30 18:45:45florianlinkissue119 messages
2015-10-30 18:45:45floriancreate