Searched refs:SOURCE_ROOT (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/
H A Dgriddle20 SOURCE_ROOT=${0%/*}
25 CMAKELISTS="$SOURCE_ROOT"/CMakeLists.txt
27 CMAKETOOLCHAIN="$SOURCE_ROOT"/kernel/"$CMAKE_COMPILER".cmake
29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
227 if ! [ -d "$SOURCE_ROOT"/"$REPO_DIR" ]
631 # $SOURCE_ROOT, however, could be anywhere in the user's file system and
638 -C "$SOURCE_ROOT/settings.cmake" \
639 "$SOURCE_ROOT"
652 # This case shouldn't be hit as if $SOURCE_ROOT/easy-settings.cmake doesn't
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle20 SOURCE_ROOT=${0%/*}
25 CMAKELISTS="$SOURCE_ROOT"/CMakeLists.txt
27 CMAKETOOLCHAIN="$SOURCE_ROOT"/kernel/"$CMAKE_COMPILER".cmake
29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
227 if ! [ -d "$SOURCE_ROOT"/"$REPO_DIR" ]
631 # $SOURCE_ROOT, however, could be anywhere in the user's file system and
638 -C "$SOURCE_ROOT/settings.cmake" \
639 "$SOURCE_ROOT"
652 # This case shouldn't be hit as if $SOURCE_ROOT/easy-settings.cmake doesn't

Completed in 30 milliseconds