| /seL4-test-master/tools/nanopb/generator/proto/ |
| H A D | __init__.py | 3 import os namespace
4 import os.path namespace
8 dirname = os.path.dirname(__file__)
9 protosrc = os.path.join(dirname, "nanopb.proto")
10 protodst = os.path.join(dirname, "nanopb_pb2.py")
12 if os.path.isfile(protosrc):
13 src_date = os.path.getmtime(protosrc)
14 if not os.path.isfile(protodst) or os.path.getmtime(protodst) < src_date:
|
| /seL4-test-master/tools/riscv-pk/scripts/ |
| H A D | config.sub | 122 os=-$maybe_os
126 os=-linux-android
132 then os=`echo "$1" | sed 's/.*-/-/'`
133 else os=; fi
141 case $os in
142 -sun*os*)
152 os=
156 os=-cnk
159 os=
165 os
[all...] |
| H A D | config.guess | 199 os=netbsdelf
208 os=netbsd
210 os=netbsdelf
214 os=netbsd
240 echo "$machine-${os}${release}${abi}"
|
| /seL4-test-master/tools/nanopb/tests/site_scons/site_tools/ |
| H A D | nanopb.py | 35 import os.path namespace
47 p = os.path.abspath(os.path.join(os.path.dirname(__file__), '..', '..', '..'))
48 if os.path.isdir(p) and os.path.isfile(os.path.join(p, 'pb.h')):
62 p1 = os.path.join(n, 'generator-bin', 'protoc' + env['PROGSUFFIX'])
63 if os.path.exists(p1):
82 p1 = os
[all...] |
| /seL4-test-master/projects/musllibc/src/locale/ |
| H A D | __mo_lookup.c | 22 uint32_t os = swapc(mo[o+2*(b+n/2)+1], sw); local
23 if (os >= size || ol >= size-os || ((char *)p)[os+ol])
25 int sign = strcmp(s, (char *)p + os);
|
| /seL4-test-master/tools/nanopb/ |
| H A D | conanfile.py | 2 from os import path
10 settings = "os", "compiler", "build_type", "arch"
21 if self.settings.os == "Windows" and self.settings.compiler == "Visual Studio":
|
| /seL4-test-master/tools/seL4/misc/ |
| H A D | style.py | 14 import os namespace
43 args.files = filter(os.path.isfile, args.files)
60 script = os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), k)
|
| H A D | whence.py | 21 import os namespace
39 cwd=os.path.join(self.tmp, subdir)).split())
97 src = os.path.join(upstream.tmp, opts.upstream_subdir)
98 dst = os.path.join(downstream.tmp, opts.downstream_subdir)
|
| /seL4-test-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 13 import os namespace
74 (path, tail) = os.path.split(os.path.dirname(input_file))
76 (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 | 14 import os namespace
508 dir_name = os.path.dirname(input_file_name)
522 new_input_file = os.path.join(dir_name, new_input_file_name)
560 if not os.path.exists(os.path.dirname(args.output)):
561 os.makedirs(os.path.dirname(args.output))
568 dir_name = os.path.dirname(args.input)
572 for (r, d, files) in os.walk(dir_name):
576 with open(os
[all...] |
| /seL4-test-master/projects/util_libs/libpci/include/pci/ |
| H A D | helper_gen.py | 12 import re, os; namespace
|
| /seL4-test-master/projects/util_libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 16 import os namespace
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/ |
| H A D | coverage.py | 24 import os namespace
66 return os.environ.get('TOOLPREFIX', default_prefix) + toolname
|
| /seL4-test-master/tools/seL4/cmake-tool/helpers/ |
| H A D | shoehorn.py | 21 import os.path namespace
138 image_size = os.path.getsize(image)
|
| /seL4-test-master/tools/nanopb/generator/ |
| H A D | nanopb_generator.py | 71 import os.path namespace
1383 noext = os.path.splitext(incfile)[0]
1647 import os.path namespace
1706 optfilename = options.options_file % os.path.splitext(filename)[0]
1714 if os.path.isfile(os.path.join(p, optfilename)):
1715 optfilename = os.path.join(p, optfilename)
1758 noext = os.path.splitext(filename)[0]
1763 headerbasename = os.path.basename(headername)
1798 if options.output_dir and not os
1830 import os, msvcrt namespace
1879 import os.path namespace
[all...] |
| /seL4-test-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 15 import os.path namespace
2629 self.filename = os.path.abspath(filename)
2631 dirname, basename = os.path.split(self.filename)
2648 os.rename(f.file.name, f.filename)
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2755 base_filename = os.path.basename(in_filename).split('.')[0]
2787 os.path.relpath(options.cspec_dir,
2788 os.path.dirname(out_file.filename))), file=out_file)
2803 os.path.relpath(options.cspec_dir,
2804 os
[all...] |
| /seL4-test-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 15 import os.path namespace
2629 self.filename = os.path.abspath(filename)
2631 dirname, basename = os.path.split(self.filename)
2648 os.rename(f.file.name, f.filename)
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2755 base_filename = os.path.basename(in_filename).split('.')[0]
2787 os.path.relpath(options.cspec_dir,
2788 os.path.dirname(out_file.filename))), file=out_file)
2803 os.path.relpath(options.cspec_dir,
2804 os
[all...] |
| /seL4-test-master/kernel/tools/ |
| H A D | bitfield_gen.py | 15 import os.path namespace
2629 self.filename = os.path.abspath(filename)
2631 dirname, basename = os.path.split(self.filename)
2648 os.rename(f.file.name, f.filename)
2710 out_file.filename = os.path.abspath(options.thy_output_path)
2755 base_filename = os.path.basename(in_filename).split('.')[0]
2787 os.path.relpath(options.cspec_dir,
2788 os.path.dirname(out_file.filename))), file=out_file)
2803 os.path.relpath(options.cspec_dir,
2804 os
[all...] |
| H A D | lex.py | 44 import os namespace
197 filename = os.path.join(outputdir, basetabfilename)+".py"
876 import os.path namespace
877 base, ext = os.path.splitext(filename)
|
| /seL4-test-master/kernel/manual/ |
| H A D | Makefile | 23 BibFiles = defs,extra,combined,theses,os-other
|