Update Eigen version [3.3.5->3.4.0]

script/install_EIGEN.sh

@@ -17,19 +17,18 @@ if [ ! -d "$1/SUITESPARSE"  -o ! -f "$1/SUITESPARSE/include/umfpack.h" ]; then
   exit 1
 fi
 
-rm -rf eigen-3.3.5.tar.bz2
-wget http://ppmcore.mpi-cbg.de/upload/eigen-3.3.5.tar.bz2
-rm -rf eigen-eigen-b3f3d4950030/
-tar -xf eigen-3.3.5.tar.bz2
+rm -rf eigen-3.4.0.tar.bz2
+wget http://ppmcore.mpi-cbg.de/upload/eigen-3.4.0.tar.bz2
+tar -xf eigen-3.4.0.tar.bz2
 
-cd eigen-eigen-b3f3d4950030/
+cd eigen-3.4.0/
 mkdir $1/EIGEN/
 mv Eigen $1/EIGEN/Eigen
 
 cd ..
-rm -rf eigen-eigen-b3f3d4950030/
+rm -rf eigen-3.4.0/
 
 touch $1/EIGEN/signature_of_eigen3_matrix_library
 
 # Mark the installation
-echo 2 > $1/EIGEN/version_eigen_lib
+echo 3 > $1/EIGEN/version_eigen_lib

script/remove_old

@@ -194,9 +194,9 @@ function remove_old()
 
     if [ -d $1/EIGEN ]; then
         version=$(cat $1/EIGEN/version_eigen_lib)
-        if [ x"$version" != x"2"  ]; then
+        if [ x"$version" != x"3"  ]; then
             echo -e "\033[1;34;5m  -------------------------------------------------------------------------------- \033[0m"
-            echo -e "\033[1;34;5m  EIGEN has been updated to 3.3.5 , the component will be updated automatically    \033[0m"
+            echo -e "\033[1;34;5m  EIGEN has been updated to 3.4.0 , the component will be updated automatically    \033[0m"
             echo -e "\033[1;34;5m  -------------------------------------------------------------------------------- \033[0m"
             sleep 5
             rm -rf $1/EIGEN/Eigen