Searched refs:dest_dir (Results 1 – 2 of 2) sorted by relevance
| /petsc/lib/petsc/bin/maint/ |
| H A D | gcov.py | 312 def extract_tarballs(base_paths, dest_dir): argument
338 dest_dir.mkdir(exist_ok=True)
340 gcov_logger.log('extracting', tarball, 'in directory', dest_dir)
341 shutil.unpack_archive(tarball, extract_dir=str(dest_dir))
342 return dest_dir
400 def generate_html(runner, merged_report, dest_dir, symlink_dir=None, report_name=None, html_title=N… argument
415 dest_dir = create_and_clear(dest_dir, delete_pred = lambda p: p.suffix.endswith('html'))
416 report_path = dest_dir/report_name
444 def generate_xml(runner, merged_report, dest_dir): argument
448 dest_dir = create_and_clear(dest_dir, delete_pred = lambda p: p.suffix.endswith('xml'))
[all …]
|
| /petsc/src/binding/petsc4py/conf/ |
| H A D | confpetsc.py | 224 def __init__(self, petsc_dir, petsc_arch, dest_dir=None): argument
225 if dest_dir is None:
226 dest_dir = os.environ.get('DESTDIR')
236 self.DESTDIR = dest_dir
770 dest_dir, _ = os.path.split(inp_file)
771 self.mkpath(dest_dir)
|