On Tue, 23 Dec 2014, Jed Brown wrote:

Barry Smith <[email protected]> writes:

...

Sure, but they have to go into a "legal" location. Where would that legal location be? We'd start by putting the data as is in the legal location, then add a bin/petsc-config to process that data (crudely) then refine both the storage of the data and the bin/petsc-config over time.

$libdir/petsc/ if we want to be like libtool and pkgconfig.

$sysconfdir/petsc/ if we think of these as host-specific.

$datadir/petsc/ if we think of them as host-independent (similar to man pages).

By default:

libdir = $prefix/lib/ sysconfdir = $prefix/etc/ datadir = $prefix/share/

I think we could use any of these without getting in trouble with package managers.

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