Matthew Knepley <[email protected]> writes: > On Fri, Jun 28, 2019 at 2:04 PM Smith, Barry F. via petsc-dev < > [email protected]> wrote: > >> >> You are right, these do not belong in petscconf.h >> > > The problematic thing here is hiding information from users of > PETSc. If you are a user that counts on PETSc configure to check > something, but then we hide it because we do not use it, I would not > be happy.
You want PETSc to test things that it doesn't use because maybe a user would want to know? Where does that end and how would we ever know if the information is correct?
