Index: /issm/trunk-jpl/externalpackages/petsc/install-3.2-discover.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.2-discover.sh	(revision 13175)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.2-discover.sh	(revision 13176)
@@ -21,5 +21,5 @@
 	--with-batch=1 \
 	--with-debugging=0 \
-	--with-shared-libraries=0 \
+	--with-shared-libraries=1 \
 	--known-mpi-shared-libraries=1 \
 	--with-mpi-dir=/usr/local/intel/mpi/4.0.3.008/lib64/ \
@@ -32,5 +32,5 @@
 	--download-scalapack=no \
 	--download-blacs=no \
-	--download-plapack=yes \
+	--download-plapack=no \
 	--download-parmetis=yes \
 	--with-pic=1