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
|
|
|
|
2024-02-13 09:30:22 +00:00
|
|
|
EIGEN_URL='https://gitlab.com/libeigen/eigen/-/archive/3.4.0/eigen-3.4.0.tar.bz2'
|
|
|
|
|
EIGEN_SHA256SUM='b4c198460eba6f28d34894e3a5710998818515104d6e74e5cc331ce31e46e626'
|
2019-04-08 15:29:53 +01:00
|
|
|
|
2016-08-04 16:19:59 +01:00
|
|
|
|
|
|
|
|
echo "-- deploying Eigen source..."
|
2024-02-13 09:30:22 +00: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
|
2024-02-13 09:30:22 +00:00
|
|
|
./scripts/update_eigen.sh "${ARC}"
|
|
|
|
|
rm "${ARC}"
|
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
|
