about summary refs log tree commit diff
path: root/cmake/ImmerUtils.cmake
diff options
context:
space:
mode:
Diffstat (limited to 'cmake/ImmerUtils.cmake')
-rw-r--r--cmake/ImmerUtils.cmake24
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()