Index: /issm/trunk-jpl/externalpackages/petsc/configs/4.0/win7/petscfix.h.patch
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/configs/4.0/win7/petscfix.h.patch	(revision 11888)
+++ /issm/trunk-jpl/externalpackages/petsc/configs/4.0/win7/petscfix.h.patch	(revision 11888)
@@ -0,0 +1,8 @@
+10c10
+< extern "C" {
+---
+> //extern "C" {
+14c14
+< }
+---
+> //}
Index: /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh	(revision 11887)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh	(revision 11888)
@@ -47,2 +47,4 @@
 make
 make install
+
+patch ../install/include/petscfix.h ../configs/4.0/win7/petscfix.h.patch