Searched refs:os (Results 1 - 7 of 7) sorted by relevance
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 19 import os namespace
77 (path, tail) = os.path.split(os.path.dirname(input_file))
79 (path, prefix) = os.path.split(path)
134 if not os.path.exists(os.path.dirname(args.output)):
135 os.makedirs(os.path.dirname(args.output))
|
| H A D | parse_doxygen_xml.py | 20 import os namespace
511 dir_name = os.path.dirname(input_file_name)
526 new_input_file = os.path.join(dir_name, new_input_file_name)
562 if not os.path.exists(os.path.dirname(args.output)):
563 os.makedirs(os.path.dirname(args.output))
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 22 import os.path namespace
2552 self.filename = os.path.abspath(filename)
2554 dirname, basename = os.path.split(self.filename)
2569 os.rename(f.file.name, f.filename)
2629 out_file.filename = os.path.abspath(options.thy_output_path)
2674 base_filename = os.path.basename(in_filename).split('.')[0]
2706 os.path.relpath(options.cspec_dir,
2707 os.path.dirname(out_file.filename))), file=out_file)
2722 os.path.relpath(options.cspec_dir,
2723 os
[all...] |
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 22 import os.path namespace
2552 self.filename = os.path.abspath(filename)
2554 dirname, basename = os.path.split(self.filename)
2569 os.rename(f.file.name, f.filename)
2629 out_file.filename = os.path.abspath(options.thy_output_path)
2674 base_filename = os.path.basename(in_filename).split('.')[0]
2706 os.path.relpath(options.cspec_dir,
2707 os.path.dirname(out_file.filename))), file=out_file)
2722 os.path.relpath(options.cspec_dir,
2723 os
[all...] |
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 22 import os.path namespace
2552 self.filename = os.path.abspath(filename)
2554 dirname, basename = os.path.split(self.filename)
2569 os.rename(f.file.name, f.filename)
2629 out_file.filename = os.path.abspath(options.thy_output_path)
2674 base_filename = os.path.basename(in_filename).split('.')[0]
2706 os.path.relpath(options.cspec_dir,
2707 os.path.dirname(out_file.filename))), file=out_file)
2722 os.path.relpath(options.cspec_dir,
2723 os
[all...] |
| H A D | lex.py | 40 import re, sys, types, copy, os namespace
184 filename = os.path.join(outputdir,basetabfilename)+".py"
839 import os.path namespace
840 base,ext = os.path.splitext(filename)
|
| /seL4-mcs-10.1.1/manual/ |
| H A D | Makefile | 27 BibFiles = defs,extra,combined,theses,os-other
|
Completed in 56 milliseconds