Merge pull request diffblue#8285 from guijan/develop

CMake: use find_program() to look for bash
qinheping · Jun 14, 2024 · 2a5151c · 2a5151c
2 parents 77b4d4d + ebe2a9a
commit 2a5151c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/cbmc/CMakeLists.txt b/src/cbmc/CMakeLists.txt
@@ -57,8 +57,9 @@ endif()
 
 # bash completion
 if(NOT WIN32)
+  find_program(BASH_PROGRAM bash REQUIRED)
   add_custom_command(OUTPUT "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh"
-    COMMAND "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/extract_switches.sh" "${CMAKE_CXX_COMPILER}"
+    COMMAND "${BASH_PROGRAM}" "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/extract_switches.sh" "${CMAKE_CXX_COMPILER}"
     DEPENDS $<TARGET_FILE:cbmc>
   )
   add_custom_target(cbmc.sh ALL