changes to petsc-dev directories

Dmitry Karpeev karpeev at
Fri Dec 14 19:37:38 CST 2007

If maint/ is going into bin/maint/, I think config/ should also go to
(I think someone already suggested it).  The reason is that these are
auxiliary scripts
used to configure and build PETSc.  Their output -- the actual PETSc
configuration --
goes into conf/ and ${PETSC_ARCH}/conf and everything makes sense.

Besides, there is no need to install bin/config/ and violate one standard or
since an installation implies a particular configuration, which is already
conf/ etc.


On 12/14/07, Satish Balay <balay at> wrote:
> Reforwarding e-mail blocked by majordomo [reason: ^config is special
> command to majordomo]
> Satish
> ---------- Forwarded message ----------
> From: Barry Smith <bsmith at>
> To: petsc-dev at
> Subject: changes to petsc-dev directories
> Date: Sat, 8 Dec 2007 21:55:10 -0600
>      I have moved python/PETSc to config/PETSc and python/BuildSystem to
>   config/BuildSystem
>   in addition I have moved the maint directory to bin/maint and removed
>   conf/rules.basic.shared
>   After your next hg pull do:
>   mv python/BuildSystem config
>   rm -rf python
>     Any user makefiles and code should not need any changes
>       Barry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the petsc-dev mailing list