Changeset 14409

Timestamp:

02/27/13 10:12:53 (12 years ago)

Author:

habbalf

Message:

BUG:Fixing PETSc-dev recognition

File:

• issm/trunk-jpl/m4/issm_options.m4 (modified) (1 diff)

issm/trunk-jpl/m4/issm_options.m4

@@ -517 +517 @@
 
                 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' `
+                PETSC_RELEASE=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_RELEASE" | sed 's/#define PETSC_VERSION_RELEASE//' | sed 's/ //g'`
+
                 AC_MSG_CHECKING(whether petsc is the development version)
-                if test x$PETSC_VERSION_DATE_HG = xunknown; then
-                        AC_DEFINE([_HAVE_PETSCDEV_],[1],[with PETSc-dev])
+                dnl if test x$PETSC_VERSION_DATE_HG = xunknown; then
+                if test "$PETSC_RELEASE" = "0"; then
+                   AC_DEFINE([_HAVE_PETSCDEV_],[1],[with PETSc-dev])
                         AC_MSG_RESULT(yes)
                 else