[petsc-dev] related to compiling your source code

[Mark Adams]

>
> I disagree that nobody uses it, but if we get rid of ~/.petscrc and
> recommend that they use PETSC_OPTIONS for that, what will they do?
>

I repeat, do we have any data on the number of user that use ~/.petscrc ?

I never have.  That is not data; that is an anecdote.  Data?

If everyone is using ~/.petscrc then I can suck it up but if nobody is then
this is a red hearing and we should just do it.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20150414/b81c0e61/attachment.html>