dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Thu, Oct 27, 2005 at 10:48:23AM +0200, Garth N. Wells wrote:
> See this post http://www.fenics.org/pipermail/dolfin-dev/2005-October/001308.html.
> 
> You need to grab the latest PETSc. Beware that they don't change version numbers
> when applying patches.
> 
> Garth

We should add some test to configure that checks that the installed
PETSc has the correct patch level.

In $PETSC_DIR/include/petscversion.h, there are some numbers we could
check

#define PETSC_VERSION_RELEASE    1
#define PETSC_VERSION_MAJOR      2
#define PETSC_VERSION_MINOR      3
#define PETSC_VERSION_SUBMINOR   0
#define PETSC_VERSION_PATCH      38

I'm not sure what to look for though. PETSC_VERSION_PATCH seems to be
good candidate. But do we need to check also PETSC_VERSION_RELEASE?

/Anders