![]() |
Prev | Next | get_eigen.sh |
bin/get_eigen.sh
build
directory.
build/external
below the distribution directory.
build/prefix/include/Eigen
below the distribution directory.
build/external/eigen-version.tar.gz
and the directory
build/external/eigen-version
will be reused if they exist. Delete this file and directory
to get a complete rebuild.