Searched refs:tools (Results 1 - 15 of 15) sorted by relevance

/seL4-test-master/kernel/tools/
H A Dkernel_pylint.sh8 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py')
H A Dkernel_xmllint.sh14 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
/seL4-test-master/tools/nanopb/
H A Dconanfile.py1 from conans import ConanFile, CMake, tools namespace
/seL4-test-master/kernel/configs/
H A DARM_HYP_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
H A DARM_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
H A DX64_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
H A DRISCV64_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
H A DARM_MCS_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
H A DRISCV64_MCS_verified.cmake9 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
/seL4-test-master/projects/musllibc/
H A DMakefile.muslc56 INSTALL = $(srcdir)/tools/install.sh
96 obj/include/bits/alltypes.h: $(srcdir)/arch/$(ARCH)/bits/alltypes.h.in $(srcdir)/include/alltypes.h.in $(srcdir)/tools/mkalltypes.sed
97 sed -f $(srcdir)/tools/mkalltypes.sed $(srcdir)/arch/$(ARCH)/bits/alltypes.h.in $(srcdir)/include/alltypes.h.in > $@
104 printf '#define VERSION "%s"\n' "$$(cd $(srcdir); sh tools/version.sh)" > $@
143 AS_CMD = LC_ALL=C awk -f $(srcdir)/tools/add-cfi.common.awk -f $(srcdir)/tools/add-cfi.$(ARCH).awk $< | $(CC) $(CFLAGS_ALL) -x assembler -c -o $@ -
185 lib/musl-gcc.specs: $(srcdir)/tools/musl-gcc.specs.sh config.mak
192 obj/%-clang: $(srcdir)/tools/%-clang.in config.mak
224 install-tools: $(ALL_TOOLS:obj/%=$(DESTDIR)$(bindir)/%)
226 install: install-libs install-headers install-tools
[all...]
H A Dconfigure42 CROSS_COMPILE prefix for cross compiler and tools [none]
131 tools=
295 tools="$tools obj/musl-gcc"
299 tools="$tools obj/musl-clang obj/ld.musl-clang"
401 test -f "tools/add-cfi.$ARCH.awk" &&
757 ALL_TOOLS = $tools
/seL4-test-master/kernel/manual/
H A DMakefile85 GenerationTool = tools/parse_doxygen_xml.py
87 GenerateObjectInvocationTool = tools/gen_invocations.py
89 InterfaceDtd = $(Libsel4Dir)/tools/sel4_idl.dtd
184 ${Q}${PYTHON} tools/gen_env.py $@
188 %.pdf: %.perf tools/bargraph.pl
257 ${Q}./tools/latexdiff $(Diffopts) $(@:-diff.tex=-$(DIFF)-diff.tex) $< > $@
290 $(BibTexEnv) ./tools/bibexport.sh -t -o references.bib tmp.aux > /dev/null 2> /dev/null; \
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage50 (from the U-Boot tools) to extract the entry point (start symbol) of an
/seL4-test-master/
H A Dgriddle220 || [ "$THIS_DIR" = tools ]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle220 || [ "$THIS_DIR" = tools ]

Completed in 179 milliseconds