OPM/opm-core — pull request #176 by rolk (2013-03-06 21:11:38+00:00)
Title: Perform option checking in ./configure like autotools does

Discussion over at OPM/dune-cornerpoint#10