2017-05-25 14:27:49 +01:00
|
|
|
#!/usr/bin/env bash
|
2016-07-30 17:53:18 +01:00
|
|
|
|
2018-01-24 13:19:29 +00:00
|
|
|
EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.4.tar.bz2'
|
2016-08-04 16:19:59 +01:00
|
|
|
|
|
|
|
echo "-- deploying Eigen source..."
|
2017-12-03 18:48:34 +00:00
|
|
|
wget ${EIGEN_URL} --no-check-certificate && ./scripts/update_eigen.sh `basename ${EIGEN_URL}` && 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
|