|
Prev | Next | get_eigen.sh |
bin/get_eigen.sh
build directory.
external/eigen.git below the distribution directory.
bin/get_optional.sh is used for this install.
version='3.3.7'
external/eigen-version.configured
exists, the configuration will be skipped.
Delete this file if you want to re-run the configuration.