[petsc-users] Unable to download elemental

[Satish Balay]

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