18 lines
458 B
Bash
Executable file
18 lines
458 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
a='eigen-eigen-b9cd8366d4e8'
|
|
gz="${a}.tar.gz"
|
|
url='https://bitbucket.org/eigen/eigen/get/3.2.10.tar.gz'
|
|
|
|
SRCDIR="$(readlink -f "$(dirname "$0")" )"
|
|
cd "$SRCDIR"
|
|
|
|
# specifically use -o instead of >
|
|
# because cygwin/msys will attempt to convert EOLs
|
|
# which is obviously invalid for a binary file
|
|
[ -s "$gz" ] || curl -LSs --cacert cacert.pem "$url" -o "$gz"
|
|
tar xzf "$gz"
|
|
[ -d Eigen ] && rm -r Eigen
|
|
mv "$a/Eigen" Eigen
|
|
rm -r "$a"
|