ufz/ogs — pull request #223 by bilke (2013-09-10 10:43:23+00:00)
Title: Configure Eigen as an external project (if not installed)

If `OGS_USE_EIGEN` is on then first Eigen is searched on the system. If not found then it will be downloaded into the build directory.

Nori, feel free to merge this!