#!/bin/bash # check if the directory $1/MPI exist if [ -d "$1/MPI" ]; then echo "MPI already installed" exit 0 fi rm -rf openmpi-3.1.1 rm openmpi-3.1.1.tar.gz wget http://ppmcore.mpi-cbg.de/upload/openmpi-3.1.1.tar.gz tar -xvf openmpi-3.1.1.tar.gz cd openmpi-3.1.1 # # --disable-mca-dso \ # --disable-sysv-shmem \ # --enable-cxx-exceptions \ # --with-threads=posix \ # --without-cs-fs \ # --with-mpi-param_check=always \ # --enable-contrib-no-build=vt,libompitrace \ # #--enable-mca-no-build=paffinity,installdirs-windows,timer-windows,shmem-sysv # # if [ x"$6" == x"1" ]; then echo "Installing MPI with GPU support" ./configure --with-cuda --prefix=$1/MPI --enable-mpi-fortran=yes CC=$3 CXX=$4 F77=$5 FC=$5 else echo "Installing MPI without GPU support" ./configure --prefix=$1/MPI --enable-mpi-fortran=yes CC=$3 CXX=$4 F77=$5 FC=$5 fi make -j $2 make install # Mark the installation echo 3 > $1/MPI/version