static const char *petscconfigureruntime = "Thu Mar  4 20:07:40 2010";
static const char *petscconfigureoptions = "--prefix=/usr/local/petsc --COPTFLAGS=\"-O2 -fno-strict-aliasing -pipe -Wl,-rpath=/usr/local/lib/gcc44\" --CXXOPTFLAGS=\"-O2 -fno-strict-aliasing -pipe -Wl,-rpath=/usr/local/lib/gcc44\" --FOPTFLAGS=\"-O -O2\" --with-shared=1 --with-cc=gcc44 --with-fc=gfortran44 --CPPFLAGS=-I/usr/local/include --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";
