install_EIGEN.sh 780 Bytes
Newer Older
1 2 3 4 5
#! /bin/bash

# check if the directory $1/EIGEN exist

if [ -d "$1/EIGEN" ]; then
6
  echo "EIGEN is already installed"
7 8 9
  exit 0
fi

10
CXX="$CXX" CC="$CC" FC="$FC" F77="$F77" ./script/install_OPENBLAS.sh $1 $2
incardon's avatar
incardon committed
11
if [ ! -d "$1/OPENBLAS"  ]; then
incardon's avatar
incardon committed
12 13 14
  exit 1
fi

incardon's avatar
incardon committed
15
CXX="$CXX" CC="$CC" FC="$FC" F77="$F77" ./script/install_SUITESPARSE.sh $1 $2
incardon's avatar
incardon committed
16
if [ ! -d "$1/SUITESPARSE"  -o ! -f "$1/SUITESPARSE/include/umfpack.h" ]; then
incardon's avatar
incardon committed
17 18 19
  exit 1
fi

incardon's avatar
incardon committed
20 21 22 23
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
24

incardon's avatar
incardon committed
25
cd eigen-eigen-b3f3d4950030/
26 27 28 29
mkdir $1/EIGEN/
mv Eigen $1/EIGEN/Eigen

cd ..
incardon's avatar
incardon committed
30 31 32
rm -rf eigen-eigen-b3f3d4950030/

touch $1/EIGEN/signature_of_eigen3_matrix_library
33

incardon's avatar
incardon committed
34
# Mark the installation
incardon's avatar
incardon committed
35
echo 2 > $1/EIGEN/version