diff --git a/ci/run.sh b/ci/run.sh index 9703b77ce..58022c7dc 100755 --- a/ci/run.sh +++ b/ci/run.sh @@ -103,6 +103,9 @@ function gg_run_ctest_debug { set -e + # Check cmake, make and ctest are installed + gg_check_build_requirements + (time cmake -DCMAKE_BUILD_TYPE=Debug ${CMAKE_EXTRA} .. ) 2>&1 | tee -a $OUT/${ci}-cmake.log (time make -j ) 2>&1 | tee -a $OUT/${ci}-make.log @@ -131,6 +134,9 @@ function gg_run_ctest_release { set -e + # Check cmake, make and ctest are installed + gg_check_build_requirements + (time cmake -DCMAKE_BUILD_TYPE=Release ${CMAKE_EXTRA} .. ) 2>&1 | tee -a $OUT/${ci}-cmake.log (time make -j ) 2>&1 | tee -a $OUT/${ci}-make.log @@ -701,6 +707,20 @@ function gg_run_embd_bge_small { set +e } +function gg_check_build_requirements { + if ! command -v cmake &> /dev/null; then + gg_printf 'cmake not found, please install' + fi + + if ! command -v make &> /dev/null; then + gg_printf 'make not found, please install' + fi + + if ! command -v ctest &> /dev/null; then + gg_printf 'ctest not found, please install' + fi +} + function gg_sum_embd_bge_small { gg_printf '### %s\n\n' "${ci}"