Home
last modified time | relevance | path

Searched refs:destdir (Results 1 – 3 of 3) sorted by relevance

/petsc/config/BuildSystem/config/packages/
H A Dviennacl.py32 destdir = os.path.join(self.installDir, 'include', 'viennacl')
34 if os.path.isdir(destdir): shutil.rmtree(destdir)
35 shutil.copytree(srcdir,destdir)
H A DHtool.py40 destdir = os.path.join(incDir,'htool')
43 if os.path.isdir(destdir): shutil.rmtree(destdir)
44 shutil.copytree(srcdir,destdir)
/petsc/config/
H A Dgmakegentest.py63 def install_files(source, destdir): argument
67 if not os.path.isdir(destdir):
68 os.makedirs(destdir)
71 install_files(os.path.join(source, name), os.path.join(destdir, os.path.basename(source)))
73 shutil.copyfile(source, os.path.join(destdir, os.path.basename(source)))