[petsc-dev] related to compiling your source code

[Barry Smith]

> On Apr 14, 2015, at 9:58 PM, Mark Adams <mfadams at lbl.gov> wrote:
> 
> 
> 
> 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.

  You are avoiding the question. If we get rid of .petscrc how can we possible not get rid of PETSC_OPTIONS since it has the exact same possible problems (and we have plenty of previous experience with outdated environmental variables).