petsc-dev directory structure questions

[Richard Tran Mills]

A much more descriptive name for the 'config' directory would be something 
like 'BuildScripts'.  'config' doesn't hold any real configuration info; just 
scripts for doing the configuration.  Seems like the name should somehow 
reflect this.  Just my 0.5 cents.

--Richard

Barry Smith wrote:
> 
> On Dec 13, 2007, at 5:07 PM, Satish Balay wrote:
> 
>>
>> For one, I think conf/configure.py should be ./configure.py
> 
>    How come this wasn't done originally or hasn't been changed to
> this already?
> 
>>
>>
>> And conf and config are 2 different things - so they should be in
>> separate locations. merging them doesn't make sense to me. The primary
>> issue I see is the names "conf" and "config" are extremely close to
>> each other.
> 
>    Exactly, so how the heck is anyone suppose to know what is in either
> one of them?
> 
>>
>>
>> One option is to move config to src/config [this would work well with
>> ./configure.py]
> 
>    config stuff is not source code so cannot go in there.
> 
>>
>>
>> Satish