Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 11906)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 11907)
@@ -598,9 +598,9 @@
 	dnl petsc{{{
 	AC_ARG_WITH([petsc-dir],
-	  AS_HELP_STRING([--with-petsc-dir = DIR],[petsc root directory, necessary for parallel build]),
+	  AS_HELP_STRING([--with-petsc-dir = DIR],[PETSc root directory, necessary for parallel build]),
 	  [PETSC_ROOT=$withval],[PETSC_ROOT=""])
 		
 	if test -d "$PETSC_ROOT"; then
-		AC_MSG_CHECKING(for petsc version)
+		AC_MSG_CHECKING(for PETSc version)
 		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'`
@@ -608,8 +608,20 @@
 		AC_DEFINE_UNQUOTED([_PETSC_MINOR_],$PETSC_MINOR,[ Petsc version minor])
 		AC_MSG_RESULT($PETSC_MAJOR.$PETSC_MINOR)
+
+		PETSC_VERSION_DATE_HG=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_DATE_HG" | sed 's/#define PETSC_VERSION_DATE_HG//' | sed 's/ //g' | sed -e 's/\"//g' `
+		echo $PETSC_VERSION_DATE_HG
+		AC_MSG_CHECKING(if PETSc is the development version)
+		if test x$PETSC_VERSION_DATE_HG = xunknown; then
+			AC_DEFINE([_HAVE_PETSCDEV_],[1],[with PETSc-dev])
+			AC_MSG_RESULT(yes)
+		else
+			AC_DEFINE([_HAVE_PETSCDEV_],[0],[with PETSc-dev])
+			AC_MSG_RESULT(no)
+		fi
+
 	fi
 	
 	AC_ARG_WITH([petsc-arch],
-	  AS_HELP_STRING([--with-petsc-arch = DIR],[petsc arch , necessary for parallel build]),
+	  AS_HELP_STRING([--with-petsc-arch = DIR],[PETSc arch , necessary for parallel build]),
 	  [PETSC_ARCH=$withval],[PETSC_ARCH=""])