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

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