diff options
Diffstat (limited to 'scripts/linux-build-dependencies.sh')
| -rwxr-xr-x | scripts/linux-build-dependencies.sh | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/scripts/linux-build-dependencies.sh b/scripts/linux-build-dependencies.sh index 6f31d5d..01e08be 100755 --- a/scripts/linux-build-dependencies.sh +++ b/scripts/linux-build-dependencies.sh @@ -246,17 +246,20 @@ build_eigen() echo "Building eigen" $version "..." cd $BASEDIR/src rm -rf eigen-$version - ## Directory name for v2.0.17 - rm -rf eigen-eigen-b23437e61a07 - rm -rf eigen-eigen-43d9075b23ef # 3.1.1 + EIGENDIR="none" + if [ $version = "2.0.17" ]; then EIGENDIR=eigen-eigen-b23437e61a07; fi + if [ $version = "3.1.1" ]; then EIGENDIR=eigen-eigen-43d9075b23ef; fi + if [ $EIGENDIR = "none" ]; then + echo Unknown eigen version. Please edit script. + exit 1 + fi + rm -rf ./$EIGENDIR if [ ! -f eigen-$version.tar.bz2 ]; then curl -LO http://bitbucket.org/eigen/eigen/get/$version.tar.bz2 mv $version.tar.bz2 eigen-$version.tar.bz2 fi tar xjf eigen-$version.tar.bz2 - ## File name for v2.0.17 - ln -s eigen-eigen-b23437e61a07 eigen-$version - ln -s eigen-eigen-43d9075b23ef eigen-$version # 3.1.1 + ln -s ./$EIGENDIR eigen-$version cd eigen-$version mkdir build cd build @@ -323,8 +326,8 @@ fi # edit version numbers here as needed. # -build_eigen 2.0.17 -#build_eigen 3.1.1 +#build_eigen 2.0.17 +build_eigen 3.1.1 #build_gmp 5.0.5 #build_mpfr 3.1.1 #build_boost 1.47.0 |