OPM/dune-cornerpoint — pull request #58 by bska (2013-10-07 14:08:08+00:00)
Title: Synchronise build system with opm-core

This brings in recent improvements to the build system from opm-core.