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
