changes to petsc-dev directories

2007-12-18 Thread Farshid Mossaiby
Hi everybody, Is there a problem with the list-server or just everybody is too busy? --- Barry Smith bsmith at mcs.anl.gov wrote: Very valid point. Barry On Dec 14, 2007, at 7:37 PM, Dmitry Karpeev wrote: If maint/ is going into bin/maint/, I think config/ should also go

Problem with petscvariables

2007-12-18 Thread Matthew Knepley
I just built a brand new petsc-dev, but $PETSC_DIR was hardcoded everywhere in petscvariables, so when I moved the root directory it all broke. Should we define something at the top, and the redirect to it everytime? Matt -- What most experimenters take for granted before they begin their

Problem with petscvariables

2007-12-18 Thread Barry Smith
The original plan was that you either left it in the same place or ran config/configure.py with an appropriate --prefix. This hardwiring I think is mostly for the dynamic libraries since directory names get compiled directly into the .o files. I added some support for using the