mirror of
https://github.com/paboyle/Grid.git
synced 2024-11-10 07:55:35 +00:00
Better Eigen handling
This commit is contained in:
parent
9fe28f00eb
commit
a3f5a13591
@ -6,7 +6,7 @@ echo "-- deploying Eigen source..."
|
|||||||
cd lib
|
cd lib
|
||||||
rm -rf Eigen
|
rm -rf Eigen
|
||||||
git clone https://github.com/eigenteam/eigen-git-mirror.git
|
git clone https://github.com/eigenteam/eigen-git-mirror.git
|
||||||
ln -s eigen-git-mirror/Eigen .
|
mv eigen-git-mirror/Eigen .
|
||||||
echo 'eigen_files =\' > Eigen.inc
|
echo 'eigen_files =\' > Eigen.inc
|
||||||
find Eigen -type f -print | sed 's/^/ /;$q;s/$/ \\/' >> Eigen.inc
|
find Eigen -type f -print | sed 's/^/ /;$q;s/$/ \\/' >> Eigen.inc
|
||||||
cd ..
|
cd ..
|
||||||
|
Loading…
Reference in New Issue
Block a user