Changeset 13873

Timestamp:

11/05/12 10:49:18 (12 years ago)

Author:

Eric.Larour

Message:

CHG: if MPI is not there, environment.sh was not catching it. Fixed it.

File:

• issm/trunk-jpl/etc/environment.sh (modified) (2 diffs)

issm/trunk-jpl/etc/environment.sh

@@ -66 +66 @@
 
 MPI_DIR="$ISSM_DIR/externalpackages/mpich2/install"
-export MPI_DIR
-pathprepend   "$MPI_DIR/bin"
-libpathappend "$MPI_DIR/lib"
+if [ -d "$MPI_DIR" ]; then
+        export MPI_DIR
+        pathprepend   "$MPI_DIR/bin"
+        libpathappend "$MPI_DIR/lib"
+fi
 
 PETSC_DIR="$ISSM_DIR/externalpackages/petsc/install"
@@ -195 +197 @@
 export ANDROID_SDK_DIR="$ANDROID_DIR/android-sdk/install"
 pathappend "$ANDROID_SDK_DIR/"
+pathappend "$ANDROID_DIR/arm-linux-android-4.0/bin/"
 
 GSL_DIR="$ISSM_DIR/externalpackages/gsl/install"