Searched refs:strip_prefix (Results 1 – 1 of 1) sorted by relevance
323 rpath = [strip_prefix(self.DESTDIR, self['PETSC_LIB_DIR'])]746 'PETSC_DIR': strip_prefix(DESTDIR, self.petsc_dir),968 def strip_prefix(prefix, string): function