1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-25 22:43:14 +00:00

Raise an error if GPSTK is to be built but the patch command is not found

This commit is contained in:
Carles Fernandez 2021-01-16 10:51:38 +01:00
parent 11f13ebcab
commit 0e9046c956
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -333,8 +333,8 @@ if(ENABLE_UNIT_TESTING_EXTRA OR ENABLE_SYSTEM_TESTING_EXTRA OR ENABLE_FPGA)
endif()
include(GNUInstallDirs)
find_program(Patch_EXECUTABLE NAME patch PATHS ENV PATH)
if(Patch_EXECUTABLE-NOTFOUND)
message(FATAL_ERROR "The patch command is not found. Please check your OS documentation and install it.")
if(NOT Patch_EXECUTABLE)
message(FATAL_ERROR "The patch command is not found. It is required to build GPSTk. Please check your OS documentation and install the patch command.")
endif()
set(GPSTK_PATCH_COMMAND
cd ${CMAKE_BINARY_DIR}/thirdparty/gpstk-${GNSSSDR_GPSTK_LOCAL_VERSION} &&