diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-29 11:49:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-29 18:49:53 +0000 |
commit | 52c7724a940aee682d550da077d7124a078ac077 (patch) | |
tree | 52b8185b5c364080a66e4a3280fa375eeadd1f03 /cmake | |
parent | 064bce0045368fd74beee10f3545899de2d20bf9 (diff) |
Fix configuration printing. (#6236)
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 |