Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 15573)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 15574)
@@ -593,4 +593,7 @@
 	if test -d "$PETSC_ROOT"; then
 		AC_MSG_CHECKING(for petsc version)
+	   if ! test -f "$PETSC_ROOT/include/petscversion.h"; then
+			AC_MSG_ERROR([PETSc not instaled corretly: file ($PETSC_ROOT/include/petscversion.h) does not exist]);
+		fi
 		PETSC_MAJOR=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_MAJOR" | sed 's/#define PETSC_VERSION_MAJOR//' | sed 's/ //g'`
 		PETSC_MINOR=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_MINOR" | sed 's/#define PETSC_VERSION_MINOR//' | sed 's/ //g'`