diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/Helpers.cmake | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index d237d6016..8b448d57d 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -130,16 +130,16 @@ endmacro() # Helper to print the configuration of a 2-valued or 3-valued option 'var' # with prefix 'str'. -macro(print_config str var) +function(print_config str var) if("${var}" STREQUAL "ON") set(OPT_VAL_STR "on") - elseif("${var}" STREQUAL "OFF") + elseif("${var}" STREQUAL "OFF" OR "${var}" STREQUAL "IGNORE") set(OPT_VAL_STR "off") else() - set(OPT_VAL_STR ${var}) + set(OPT_VAL_STR "${var}") endif() message("${Blue}${str}: ${Green}${OPT_VAL_STR}${ResetColor}") -endmacro() +endfunction() # Collect all source files that are required to build libcvc4 in LIBCVC4_SRCS |