Searched refs:configure (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/tools/nanopb/
H A Dconanfile.py20 def configure(self): member in class:NanoPbConan
26 cmake.configure(source_folder=path.join(self.source_folder, "conan-wrapper"))
/seL4-test-master/projects/musllibc/
H A DMakefile61 # If the configure line changed and we've done a build (i.e. we have a makefile) then we should
67 # If the configure line did change (or we don't have one yet) then we also need to (re)run configure
68 # Only print output if there's an error as configure is quite noisy
69 # Also need to update the ARCH in the config.mak file configure generates
71 ${SOURCE_DIR}/configure ${configure_line} 2>&1 > config.log || cat config.log && sed -ibak 's/^ARCH = \(.*\)/ARCH = \1_sel4/' config.mak || true
74 # Symlink in the correct Makefile as the configure script doesn't know that we renamed the muslc one
H A Dconfigure26 --target=TARGET configure to run on target TARGET [detected]
45 Use these variables to override the choices made by configure.
198 srcdir="${0%/configure}"
734 # Any changes made here will be lost if configure is re-run
/seL4-test-master/kernel/manual/parts/
H A Dio.tex13 may configure the kernel to signal a particular \obj{Notification}
21 configure a certain interrupt. They have three methods:
314 By providing a \obj{seL4\_ARM\_CB} cap, a user-level thread can configure the
H A Dthreads.tex150 must be bounded. Developers have two options to configure the size of the replenishment list:
524 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
/seL4-test-master/tools/riscv-pk/
H A Dconfigure11 # This configure script is free software; the Free Software Foundation
766 # Accept the important Cygnus configure options, so we can diagnose typos.
1248 \`configure' configures RISC-V Proxy Kernel ? to adapt to many kinds of systems.
1266 --srcdir=DIR find the sources in DIR [configure dir or \`..']
1307 --build=BUILD configure for building on BUILD [guessed]
1354 Use these variables to override the choices made by `configure' or to help
1403 # Check for guested configure.
1404 if test -f "$ac_srcdir/configure.gnu"; then
1406 $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1407 elif test -f "$ac_srcdir/configure"; the
[all...]

Completed in 98 milliseconds