[petsc-users] Unable to download elemental

[Barry Smith]

   Satish,

    I am fine with you fixing it either way.

   Thanks

  Barry

On Jul 18, 2014, at 10:10 PM, Satish Balay <balay at mcs.anl.gov> wrote:

> On Fri, 18 Jul 2014, Barry Smith wrote:
> 
>> 
>> Satish,
>> 
>>    Please check why it is using the elemental instead of the Elemental. Why doesn’t it hit our tests?
> 
> Hm - I should convert one of the tests to using --with-git=0 for this case..
> 
> 
> The fix for this issue would be:
> 
> git mv elemental.py Elemental.py
> [or add to elemental.py: self.downloadfilename = 'Elemental']
> 
> Should we do a case insensitive search here?
> And then use lowercase for all package files [Superlu_DIST.py -> superlu_dist.py etc..]
> 
> 
> Satish
> --------
> diff --git a/config/BuildSystem/config/package.py b/config/BuildSystem/config/package.py
> index 281450f..e9f1f5d 100644
> --- a/config/BuildSystem/config/package.py
> +++ b/config/BuildSystem/config/package.py
> @@ -402,7 +402,7 @@ class Package(config.base.Configure):
>   def matchExcludeDir(self,dir):
>     '''Check is the dir matches something in the excluded directory list'''
>     for exdir in self.excludedDirs:
> -      if dir.startswith(exdir):
> +      if dir.lower().startswith(exdir.lower()):
>         return 1
>     return 0
> 
> @@ -415,7 +415,7 @@ class Package(config.base.Configure):
>     Dir = None
>     self.framework.logPrint('Looking for '+self.PACKAGE+' in directory starting with '+str(self.downloadfilename))
>     for d in os.listdir(packages):
> -      if d.startswith(self.downloadfilename) and os.path.isdir(os.path.join(packages, d)) and not self.matchExcludeDir(d):
> +      if d.lower().startswith(self.downloadfilename.lower()) and os.path.isdir(os.path.join(packages, d)) and not self.matchExcludeDir(d):
>         self.framework.logPrint('Found a copy of '+self.PACKAGE+' in '+str(d))
>         Dir = d
>         break