[petsc-dev] CFLAGS and COPTFLAGS

[Sean Farley]

jed at jedbrown.org writes:

> Barry Smith <bsmith at 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).