static const char *petscconfigureruntime = "Mon Feb  7 13:31:56 2011";
static const char *petscconfigureoptions = "--prefix=/usr/local/petsc --COPTFLAGS=\"-O2 -fno-strict-aliasing -pipe -Wl,-rpath=/usr/local/lib/gcc45\" --CXXOPTFLAGS=\"-O2 -fno-strict-aliasing -pipe -Wl,-rpath=/usr/local/lib/gcc45\" --FOPTFLAGS=\"-O -O2\" --with-shared=1 --with-cc=gcc45 --with-fc=gfortran45 --CPPFLAGS=-I/usr/local/include --LDFLAGS=-pthread --with-x-include=/usr/local/include --with-x-lib=/usr/local/lib/libX11.so --with-umfpack-include=/usr/local/include/suitesparse --with-umfpack-lib=\"[/usr/local/lib/libumfpack.so,/usr/local/lib/libamd.so]\" --with-mpi=0 --with-blas-lapack-lib=\"-L/usr/local/lib -llapack -lblas -lm\" --with-blocksolve95=0 --with-parmetis=0";
