Author florian
Recipients erez, florian, gabi, jendrik, malte, silvia
Date 2015-11-09.21:49:19
Now that issue119 is merged, we can also designate some CMake-plugins as
"dependency-only" which hides them in CMake GUIs and enables them iff they are
needed as a dependency for other plugins. We already use this for relaxation
heuristics and the LP solver.

We could also use this to avoid splitting the core namespace across directories,
by having a dependency-only namespace/plugin for "Options" and having the core
depend on it. On the other hand, its a bit weird to have dependencies in the core.
Date User Action Args
2015-11-09 21:49:19floriansetmessageid: <>
2015-11-09 21:49:19floriansetrecipients: + florian, malte, erez, gabi, silvia, jendrik
2015-11-09 21:49:19florianlinkissue64 messages
2015-11-09 21:49:19floriancreate