Index: ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh
===================================================================
--- ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18933)
+++ ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18934)
@@ -22,7 +22,7 @@
 ./config/configure.py \
  --prefix="$ISSM_DIR/externalpackages/petsc/install" \
  --PETSC_DIR="$ISSM_DIR/externalpackages/petsc/src" \
- --with-mpi-dir="/data/apps/mpi/openmpi-1.6.0/gcc/4.7.3/" \
+ --with-mpi-dir="/data/apps/mpi/openmpi-1.8.3/gcc/4.8.3/" \
  --known-mpi-shared-libraries=1 \
  --with-debugging=0 \
  --with-valgrind=0 \
