Index: /issm/trunk-jpl/externalpackages/petsc/install-dev-linux64.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-dev-linux64.sh	(revision 12106)
+++ /issm/trunk-jpl/externalpackages/petsc/install-dev-linux64.sh	(revision 12107)
@@ -6,4 +6,5 @@
 	# Adapted from petsc 3.2. 
 	# Used Mercurial to get code
+	rm -rf src
 	hg clone http://petsc.cs.iit.edu/petsc/petsc-dev src
 	cd src
@@ -25,4 +26,5 @@
 
 if [ $STEP -eq 2 ]; then
+	rm -rf install
 	cd src
 	./config/configure.py \
@@ -42,4 +44,5 @@
 	--download-plapack=yes \
 	--download-parmetis=yes \
+	--download-spai=yes \
 	--with-pic=1