diff options
Diffstat (limited to 'cmake/ImmerUtils.cmake')
| -rw-r--r-- | cmake/ImmerUtils.cmake | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/cmake/ImmerUtils.cmake b/cmake/ImmerUtils.cmake new file mode 100644 index 0000000000..2af63ff606 --- /dev/null +++ b/cmake/ImmerUtils.cmake @@ -0,0 +1,24 @@ + +function(immer_target_name_for out_target out_file file) + get_filename_component(_extension ${_file} EXT) + + file(RELATIVE_PATH _relative ${PROJECT_SOURCE_DIR} ${file}) + string(REPLACE "${_extension}" "" _name ${_relative}) + string(REGEX REPLACE "/" "-" _name ${_name}) + set(${out_target} "${_name}" PARENT_SCOPE) + + file(RELATIVE_PATH _relative ${CMAKE_CURRENT_LIST_DIR} ${file}) + string(REPLACE "${_extension}" "" _name ${_relative}) + string(REGEX REPLACE "/" "-" _name ${_name}) + set(${out_file} "${_name}" PARENT_SCOPE) +endfunction() + +function(immer_canonicalize_cmake_booleans) + foreach(var ${ARGN}) + if(${var}) + set(${var} 1 PARENT_SCOPE) + else() + set(${var} 0 PARENT_SCOPE) + endif() + endforeach() +endfunction() |