On Fri, Jun 28, 2019 at 4:37 PM Jed Brown <[email protected]> wrote: > 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
Very clearly it ends with testing the things users SPECIFICALLY ASKED US TO TEST on the configure command line. > and how would we ever know if > the information is correct? > This is just nonsensical. We know its correct because we tested it. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener https://www.cse.buffalo.edu/~knepley/ <http://www.cse.buffalo.edu/~knepley/>
