OPM/opm-porsol — pull request #94 by bska (2013-11-25 12:39:37+00:00)
Title: Synchronise build system with opm-core

Bring in recent build system fix from opm-core.