2017-05-25 14:27:49 +01:00
|
|
|
#!/usr/bin/env bash
|
2019-04-08 15:29:53 +01:00
|
|
|
set -e
|
2016-07-30 17:53:18 +01:00
|
|
|
|
2019-12-04 13:49:22 +00:00
|
|
|
EIGEN_URL='https://gitlab.com/libeigen/eigen/-/archive/3.3.7/eigen-3.3.7.tar.bz2'
|
2019-04-08 15:29:53 +01:00
|
|
|
EIGEN_SHA256SUM='685adf14bd8e9c015b78097c1dc22f2f01343756f196acdc76a678e1ae352e11'
|
|
|
|
|
|
2016-08-04 16:19:59 +01:00
|
|
|
|
|
|
|
|
echo "-- deploying Eigen source..."
|
2018-08-28 16:54:57 +01:00
|
|
|
ARC=`basename ${EIGEN_URL}`
|
2019-04-08 15:29:53 +01:00
|
|
|
wget ${EIGEN_URL} --no-check-certificate
|
|
|
|
|
if command -v sha256sum; then
|
|
|
|
|
echo "$EIGEN_SHA256SUM $(basename "$EIGEN_URL")" \
|
|
|
|
|
| sha256sum --check || exit 1
|
|
|
|
|
else
|
|
|
|
|
echo "WARNING: could not verify checksum, please install sha256sum" >&2
|
|
|
|
|
fi
|
|
|
|
|
./scripts/update_eigen.sh ${ARC}
|
|
|
|
|
rm ${ARC}
|
2018-08-28 16:54:57 +01:00
|
|
|
# patch for non-portable includes in Eigen 3.3.5
|
|
|
|
|
# apparently already fixed in Eigen HEAD so it should not be
|
|
|
|
|
# a problem in the future (A.P.)
|
2019-02-06 11:25:51 +00:00
|
|
|
patch Eigen/unsupported/Eigen/CXX11/Tensor scripts/eigen-3.3.5.Tensor.patch
|
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
|
