OPM/opm-benchmarks — pull request #30 by bska (2013-11-25 10:44:47+00:00)
Title: Synchronise build system with opm-core

Bring in recent changes and build-system improvements from opm-core.