Commit Graph

2 Commits

Author SHA1 Message Date
Roland Kaufmann
3ff19f011a Propagate REQUIRED and QUIET according to parent level
If an optional package require further packages, those packages should
not be marked as REQUIRED because CMake will then terminate the
configuration if it is not found (although it is transitively optional).

Conversely, we should be able to specify REQUIRED prerequisites for
REQUIRED packages and have a failure cascade up to termination.

This changeset allows us to specify REQUIRED or not in the list of
prerequisites, and have OpmPackage sort of whether it should be honored
or not.
2013-08-19 20:01:25 +02:00
Andreas Lauser
1ae9e7cb89 CMake: add module for dune-localfunctions 2013-08-16 23:55:37 +02:00