Barry Smith <[email protected]> writes: > Where should we put the files that end up in conf? Should we > simply not install those?
I don't think we should install logs. If it were up to me, I would put the makefiles in $prefix/share/petsc/, but I would install a script petsc-config that can be used to dump the configuration as well as provide configuration (a la pkg-config). I think we should recommend that users use this petsc-config script instead of including makefiles. What do you think?
pgpidPSXPZ2sa.pgp
Description: PGP signature
