2017-05-25 14:27:49 +01:00
|
|
|
#!/usr/bin/env bash
|
2016-07-30 17:53:18 +01:00
|
|
|
|
2017-05-10 13:30:09 +01:00
|
|
|
EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.3.tar.bz2'
|
2016-08-04 16:19:59 +01:00
|
|
|
|
|
|
|
echo "-- deploying Eigen source..."
|
2016-09-09 10:53:22 +01:00
|
|
|
wget ${EIGEN_URL} --no-check-certificate
|
2016-08-04 16:19:59 +01:00
|
|
|
./scripts/update_eigen.sh `basename ${EIGEN_URL}`
|
2017-05-18 23:33:47 +01:00
|
|
|
#rm `basename ${EIGEN_URL}`
|
2016-08-06 00:28:28 +01:00
|
|
|
|
2016-08-04 16:19:59 +01:00
|
|
|
echo '-- generating Make.inc files...'
|
2016-07-30 17:53:18 +01:00
|
|
|
./scripts/filelist
|
2016-08-04 16:19:59 +01:00
|
|
|
echo '-- generating configure script...'
|
2016-08-01 09:51:06 +01:00
|
|
|
autoreconf -fvi
|