OPM/dune-cornerpoint — pull request #82 by bska (2014-04-22 11:59:24+00:00)
Title: Synchronise build system with OPM-Core

This is a roll-up of recent changes to the OPM build system.