modify build system to auto-detect eigen3, and fallback to eigen2

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