diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-07-15T07·20+0100 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2020-07-15T07·20+0100 |
| commit | 7f19d641647ac4ef313ed88d6b5c140983ce5436 (patch) | |
| tree | 31b66c81465293da5c093c5dde3e419758c0d6cc /cmake/ImmerUtils.cmake | |
Squashed 'third_party/immer/' content from commit ad3e3556d
git-subtree-dir: third_party/immer git-subtree-split: ad3e3556d38bb75966dd24c61a774970a7c7957e
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 000000000000..2af63ff6061d --- /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() |