Index: /issm/trunk-jpl/externalpackages/petsc/install-3.2-greenplanet.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.2-greenplanet.sh	(revision 13496)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.2-greenplanet.sh	(revision 13497)
@@ -22,5 +22,5 @@
 	--with-batch=1 \
 	--with-debugging=0 \
-	--with-shared-libraries=0 \
+	--with-shared-libraries=1 \
 	--known-mpi-shared-libraries=1 \
 	--with-mpi-dir=/sopt/mpi/openmpi-1.5.4_psm/intel/ \