OPM/opm-core — pull request #325 by rolk (2013-08-20 18:52:27+00:00)
Title: Make probe for Eigen3 part of the common build system

If opm-autodiff is here to stay and there is a commitment to using Eigen3 (there is already a copy of it on GitHub), then this patch incorporates the changes done in opm-autodiff into the common source tree.