static const char *petscconfigureruntime = "Mon Jul 22 16:24:18 2013";
static const char *petscconfigureoptions = "--prefix=/usr/local/petsc --COPTFLAGS=\"-O2 -pipe -Wl,-rpath=/usr/local/lib/gcc46 -fno-strict-aliasing\" --CXXOPTFLAGS=\"-O2 -pipe -Wl,-rpath=/usr/local/lib/gcc46 -fno-strict-aliasing -Wl,-rpath=/usr/local/lib/gcc46\" --FOPTFLAGS=\"-O -O2 -Wl,-rpath=/usr/local/lib/gcc46\" --with-shared=1 --with-cc=gcc46 --with-fc=gfortran46 --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/libcholmod.so, /usr/local/lib/libcolamd.so, /usr/local/lib/libamd.so, /usr/local/lib/libsuitesparseconfig.so]\" --with-mpi=0 --with-blas-lapack-lib=\"-L/usr/local/lib -llapack -lblas\" --with-blocksolve95=0 --with-parmetis=0";
