Searched refs:PWD (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/
H A Dfix_metis_license2 THIS=$(cd "$(dirname "$0")"; echo $PWD)
H A Dmake_metis9 THIS=$(cd "$(dirname "$0")"; echo $PWD)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/
H A Dfix_metis_license2 THIS=$(cd "$(dirname "$0")"; echo $PWD)
H A Dmake_metis9 THIS=$(cd "$(dirname "$0")"; echo $PWD)
/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile11 PWD = $(shell pwd) macro
12 SOURCE_ROOT=${PWD}/../../../../seL4
13 PARSERPATH=${PWD}/../../../tools/c-parser/standalone-parser
17 BUILDROOT=${PWD}/build/${L4V_ARCH}
21 CONFIG_DOMAIN_SCHEDULE=${PWD}/config_sched.c
45 CSPEC_DIR=${PWD}/..
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dmake_spec.sh14 ORIG_PWD="$PWD"
18 while [[ "/$PWD" != '//' ]]
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle41 ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala127 ./configure --prefix="$PWD/target" """ + Bash.strings(configure_options) + """
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit369 classpath "$PWD/$TARGET_BASE"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/
H A Dmakedist_bundle41 ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_polyml.scala127 ./configure --prefix="$PWD/target" """ + Bash.strings(configure_options) + """
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/
H A Djedit369 classpath "$PWD/$TARGET_BASE"

Completed in 94 milliseconds