Index: /issm/trunk/externalpackages/petsc/install.sh
===================================================================
--- /issm/trunk/externalpackages/petsc/install.sh	(revision 3215)
+++ /issm/trunk/externalpackages/petsc/install.sh	(revision 3216)
@@ -4,6 +4,10 @@
 NUMCPUS=$1;
 
-#version of petsc
-version=`echo *.tar.gz | sed 's/\.tar\.gz//g' | sed 's/petsc-//g'`
+#available versions
+#2.3.2-p3
+#3.0.0-p11
+
+#version of petsc?
+version='2.3.2-p3';
 
 #Some cleanup
@@ -25,4 +29,16 @@
 ../configure.sh
 
+#symlink some missing stuff.
+if [[ $version == "3.0.0-p11" ]]
+then	
+	cd conf
+	ln -s ../$ISSM_ARCH/conf/petscrules petscrules 
+	ln -s ../$ISSM_ARCH/conf/petscvariables petscvariables 
+	cd ../
+	cd include
+	ln -s ../$ISSM_ARCH/include/petscconf.h petscconf.h 
+	cd ../
+fi
+
 #Compile petsc and install it
 if [ -z $NUMCPUS ];