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.