OPM/opm-benchmarks — pull request #36 by bska (2014-03-11 19:26:16+00:00)
Title: Synchronise build system with OPM-Core

This change-set brings in the most recent improvements to the OPM build system from module opm-core.