2015-03-31 04:45:35 -04:00
|
|
|
set(OLDFILE ${SOURCE_DIR}/util/fingerprint_impl.hpp)
|
2015-07-24 21:45:33 -04:00
|
|
|
set(NEWFILE ${OLDFILE}.tmp)
|
|
|
|
set(INFILE ${OLDFILE}.in)
|
2013-10-14 11:03:46 -04:00
|
|
|
file(MD5 ${SOURCE_DIR}/prepare.cpp MD5PREPARE)
|
2014-11-28 06:13:18 -05:00
|
|
|
file(MD5 ${SOURCE_DIR}/data_structures/static_rtree.hpp MD5RTREE)
|
2015-01-27 11:44:46 -05:00
|
|
|
file(MD5 ${SOURCE_DIR}/util/graph_loader.hpp MD5GRAPH)
|
2015-01-27 06:14:08 -05:00
|
|
|
file(MD5 ${SOURCE_DIR}/server/data_structures/internal_datafacade.hpp MD5OBJECTS)
|
2013-07-19 09:00:41 -04:00
|
|
|
|
2015-07-24 21:45:33 -04:00
|
|
|
CONFIGURE_FILE(${INFILE} ${NEWFILE})
|
|
|
|
|
|
|
|
file(MD5 ${NEWFILE} MD5NEW)
|
|
|
|
|
|
|
|
if (EXISTS ${OLDFILE})
|
|
|
|
file(MD5 ${OLDFILE} MD5OLD)
|
|
|
|
if(NOT ${MD5NEW} STREQUAL ${MD5OLD})
|
|
|
|
file(REMOVE_RECURSE ${OLDFILE})
|
|
|
|
file(RENAME ${NEWFILE} ${OLDFILE})
|
|
|
|
else()
|
|
|
|
file(REMOVE_RECURSE ${NEWFILE})
|
|
|
|
message(STATUS "Fingerprint unchanged, not regenerating")
|
|
|
|
endif()
|
|
|
|
else()
|
|
|
|
file(RENAME ${NEWFILE} ${OLDFILE})
|
|
|
|
endif()
|