OPM/opm-benchmarks — pull request #26 by bska (2013-10-08 16:42:58+00:00)
Title: Synchronise build system with opm-core

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