mirror of
https://github.com/paboyle/Grid.git
synced 2025-04-10 06:00:45 +01:00
Update eigen process direct from develop on github. Dangerous, but needed from GPU
This commit is contained in:
parent
f04a7251cc
commit
a5cfb89304
@ -4,9 +4,11 @@ EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.4.tar.bz2'
|
|||||||
|
|
||||||
echo "-- deploying Eigen source..."
|
echo "-- deploying Eigen source..."
|
||||||
cd lib
|
cd lib
|
||||||
|
rm -rf Eigen
|
||||||
git clone https://github.com/eigenteam/eigen-git-mirror.git
|
git clone https://github.com/eigenteam/eigen-git-mirror.git
|
||||||
|
echo 'eigen_files =\' > Eigen.inc
|
||||||
|
find Eigen -type f -print | sed 's/^/ /;$q;s/$/ \\/' >> Eigen.inc
|
||||||
cd ..
|
cd ..
|
||||||
#wget ${EIGEN_URL} --no-check-certificate && ./scripts/update_eigen.sh `basename ${EIGEN_URL}` && rm `basename ${EIGEN_URL}`
|
|
||||||
|
|
||||||
echo '-- generating Make.inc files...'
|
echo '-- generating Make.inc files...'
|
||||||
./scripts/filelist
|
./scripts/filelist
|
||||||
|
Loading…
x
Reference in New Issue
Block a user