mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
This allows us to set e.g. -DEIGEN3_ROOT=/usr/local, and have the files actually be located in /usr/local/include/eigen3
This allows us to set e.g. -DEIGEN3_ROOT=/usr/local, and have the files actually be located in /usr/local/include/eigen3