j...@jedbrown.org writes: > Barry Smith <bsm...@mcs.anl.gov> 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?
Jed's suggestions here would be great for package maintainers. As an added bonus, it'd be great if $prefix/share/petsc-$foo could be be configurable (so that multiple installations could be live side-by-side).