Satish Balay <[email protected]> writes:

Or just have the data in bin/petsc-config? [since this is likely to be a different file for each petsc variant thats installed?]

Sure, accessible with something like petsc-config --raw configure.log