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

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