<div>This code is so fragile. Isn't there a way to say "if the user requested ParMetis in *any* way" instead of enumerating the list of ways that it could be asked for. Should we also check whether the user asked for ParMetis using --with-parmetis-{include,lib}? I hate the idea of checking argDB directly like this.</div>
<div><br></div><div>      if self.framework.argDB.get('download-parmetis') or self.framework.argDB.get('with-parmetis'):</div><div>        self.parmetis   = framework.require('PETSc.packages.parmetis',self)</div>
<div>        self.deps.append(self.parmetis)</div><div><br></div>