Searched refs:hashfile (Results 1 – 1 of 1) sorted by relevance
| /petsc/config/PETSc/options/ |
| H A D | arch.py | 71 def makeDependency(self,hash,hashfile,hashfilepackages): argument
77 self.framework.hashfile = hashfile
78 self.logPrint('Setting hashfile: '+hashfile)
81 self.logPrint('Deleting configure hash file: '+hashfile)
82 os.remove(hashfile)
83 self.logPrint('Deleted configure hash file: '+hashfile)
85 self.logPrint('Unable to delete configure hash file: '+hashfile)
184 hashfile = os.path.join(self.arch,'lib','petsc','conf','configure-hash')
188 self.makeDependency(hash,hashfile,hashfilepackages)
192 with open(hashfile, 'r') as f:
[all …]
|