Searched refs:PATH (Results 1 - 24 of 24) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86/
H A DMakefile.inc2 .PATH: ${X86DIR}
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/i386/
H A DMakefile.inc2 .PATH: ${MYDIR}
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86_64/
H A DMakefile.inc2 .PATH: ${MYDIR}
/seL4-camkes-master/tools/cogent/
H A Drun_tests17 export PATH="${DIR}/isabelle/bin:$PATH"
H A Dbuild-env.sh19 # Extra PATH variables:
25 # These will be added to the PATH if not already present.
59 then PATH="$COGENT_TOOLDIR:$PATH"
H A Dbuild-env.mk14 # Note that this file sets the PATH, so it should be included before any
15 # makefile directives that change the PATH.
26 PATH:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$PATH") macro
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/earm/
H A DMakefile.inc2 .PATH: ${MYDIR}
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Drun_ghci.sh6 # we need to install `derive' and put it in $PATH
7 PATH="`pwd`/../.cabal-sandbox/bin:$PATH"
/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A DMakefile.pcihyperdefs4 .PATH: ${RUMPRUN_PCIDIR}
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A DMakefile.pcihyperdefs16 .PATH: ${RUMPRUN_PCIDIR}
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A DMakefile.pcihyperdefs4 .PATH: ${RUMPRUN_PCIDIR}
/seL4-camkes-master/tools/rumprun/tests/
H A Dbuildtests.sh54 export PATH="${RRDEST}/bin:${PATH}"
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcheck_ghcs.sh23 echo "\$PATH is $PATH"
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dtest-driver45 test-driver --test-name=NAME --log-file=PATH --trs-file=PATH
H A Dconfigure77 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
78 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
96 for as_dir in $PATH
206 PATH=/empty FPATH=/empty; export PATH FPATH
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
2031 for as_dir in $PATH
2035 $as_echo "PATH
[all...]
H A Dconfig.guess127 PATH=$PATH:/.attbin ; export PATH
H A Dltmain.sh234 # func_normal_abspath PATH
236 # and cancel out any ".." path components in PATH after making
387 for progdir in $PATH; do
509 # Make sure the entire path to DIRECTORY-PATH is available.
1338 # func_resolve_sysroot PATH
1339 # Replace a leading = in PATH with a sysroot. Store the result into
1352 # func_replace_sysroot PATH
1353 # If PATH begins with the sysroot, replace it with = and
1471 # FILE NAME AND PATH CONVERSION HELPER FUNCTIONS #
1478 # in $build's $PATH
[all...]
/seL4-camkes-master/tools/riscv-pk/
H A Dconfigure77 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
78 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
96 for as_dir in $PATH
212 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
1625 for as_dir in $PATH
1629 $as_echo "PATH: $as_dir"
1827 # We do not want a PATH search for config.site.
2063 for as_dir in $PATH
[all...]
/seL4-camkes-master/tools/rumprun/
H A Dbuild-rr.sh393 cat > "${RROBJ}/config-PATH.sh" << EOF
394 export PATH="${RRDEST}/bin:\${PATH}"
401 .PATH: $(pwd)/lib/librumprun_base/pthread
645 ${DObuild} && echo '>> Set tooldir to front of $PATH (bourne-style shells)'
646 ${DObuild} && echo ". \"${RROBJ}/config-PATH.sh\""
/seL4-camkes-master/tools/rumprun/tests/configure/
H A Dconfigure77 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
78 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
96 for as_dir in $PATH
206 PATH=/empty FPATH=/empty; export PATH FPATH
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
2037 for as_dir in $PATH
2041 $as_echo "PATH
[all...]
/seL4-camkes-master/tools/cogent/cogent/
H A DMakefile60 $(E) ' export PATH=$(PWD)/dist-newstyle/build/<ARCH>/ghc-<GHC_VERSION>/cogent-<COGENT_VERSION>/build/cogent/cogent:$$PATH'
113 $(error Cogent not installed, or is not available in your PATH)
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dconfig.guess127 PATH=$PATH:/.attbin ; export PATH
H A Dltmain.sh234 # func_normal_abspath PATH
236 # and cancel out any ".." path components in PATH after making
387 for progdir in $PATH; do
509 # Make sure the entire path to DIRECTORY-PATH is available.
1338 # func_resolve_sysroot PATH
1339 # Replace a leading = in PATH with a sysroot. Store the result into
1352 # func_replace_sysroot PATH
1353 # If PATH begins with the sysroot, replace it with = and
1471 # FILE NAME AND PATH CONVERSION HELPER FUNCTIONS #
1478 # in $build's $PATH
[all...]
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dconfig.guess127 PATH=$PATH:/.attbin ; export PATH

Completed in 227 milliseconds