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

/seL4-camkes-master/
H A Dinit-build.sh34 if [ -d "$HOME/.sel4_cache" ]
36 CACHE_DIR="$HOME/.sel4_cache"
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dinit-build.sh34 if [ -d "$HOME/.sel4_cache" ]
36 CACHE_DIR="$HOME/.sel4_cache"
/seL4-camkes-master/tools/cogent/
H A Dbuild-env.sh57 : ${COGENT_TOOLDIR:="$HOME/.cabal/bin"}
H A Dconfig.mk6 INSTALL_FLAGS += --installdir=$(HOME)/.cabal/bin/
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dcmakerepl21 set(state_dir "$ENV{HOME}/.cmakerepl/tid/")
22 set(history_file $ENV{HOME}/.cmakerepl/history)
/seL4-camkes-master/tools/cogent/cogent/tests/phases/
H A Dtype_proof.sh32 COGENT=$HOME/.cabal/bin/cogent

Completed in 232 milliseconds