Add flag NO_MODULE_LIBRARY to dune_add_library

Summary

Add the flag NO_MODULE_LIBRARY to the cmake function dune_add_library. If this option is set, the created library is not added to the global property list DUNE_MODULE_LIBRARIES and thus not automatically linked when dune_enable_all_packages (or a similar macro) is invoked.

Application

This option is useful if you want to create libraries in a dune modules that should be automatically exported but not automatically linked against. An example is the alberta libraries that are created for multiple dimensions and not all should be linked simultaneously but only on request of a specific dimension.

added 14 commits

• d36db932...b692bb87 - 13 commits from branch master
• 818255fa - Add flag NO_MODULE_LIBRARY to dune_add_library

Compare with previous version

mentioned in issue dune-grid#137 (closed)

mentioned in issue infrastructure/dune-nightly-test#2

added buildsystem label

added 13 commits

• 818255fa...dead5a93 - 12 commits from branch master
• 404ea1a2 - Add flag NO_MODULE_LIBRARY to dune_add_library

Compare with previous version

enabled an automatic merge when the pipeline for 404ea1a2 succeeds

merged

mentioned in commit 0e78dc72