Why do you need these variables?  (It's not wrong, but we hope that these configuration variables are not needed by a caller. Whether an external package is available -- from petscconf.h -- sounds more useful to me.)