OPM/opm-upscaling — pull request #105 by bska (2013-11-25 17:40:25+00:00)
Title: Synchronise build system with opm-core

Bring in recent improvements to `configure` script from opm-core.