    fi
  fi
  
-+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
++DIR="$( cd "$( dirname $0 )" && pwd )"
 +
  echo " "
  echo "Running script for downloading the source code for the METIS"

   fi
 fi
 
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+
 echo " "
 echo "Running script for downloading the source code for MUMPS"

 fi
 
 coinblas=blas-20130815.tgz
+DIR="$( cd "$( dirname $0 )" && pwd )"
 
 echo " "
 echo "Running script for downloading the source code for BLAS"
