2024-10-02 23:37:35 +03:00
|
|
|
# Little helper that adds the generated file to the
|
|
|
|
# files to be cleaned in the current directory.
|
|
|
|
#
|
|
|
|
# Handy if the generated files might have changed
|
|
|
|
#
|
|
|
|
|
|
|
|
function(cleaning_configure_file SRC DST)
|
|
|
|
configure_file(${SRC} ${DST} ${ARGN})
|
2024-10-17 23:26:18 +03:00
|
|
|
set_property(
|
|
|
|
DIRECTORY
|
|
|
|
APPEND
|
|
|
|
PROPERTY ADDITIONAL_CLEAN_FILES
|
|
|
|
${DST}
|
|
|
|
)
|
|
|
|
set_property(
|
|
|
|
DIRECTORY
|
|
|
|
APPEND
|
|
|
|
PROPERTY CMAKE_CONFIGURE_DEPENDS
|
|
|
|
${SRC}
|
|
|
|
${DST}
|
|
|
|
)
|
2024-10-02 23:37:35 +03:00
|
|
|
endfunction()
|