2015-01-27 11:44:46 -05:00
|
|
|
set(OLDFILE ${SOURCE_DIR}/util/fingerprint.cpp)
|
2013-08-19 10:55:56 -04:00
|
|
|
if (EXISTS ${OLDFILE})
|
|
|
|
file(REMOVE_RECURSE ${OLDFILE})
|
2013-07-19 09:00:41 -04:00
|
|
|
endif()
|
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-01-27 11:44:46 -05:00
|
|
|
CONFIGURE_FILE( ${SOURCE_DIR}/util/fingerprint.cpp.in ${SOURCE_DIR}/util/fingerprint.cpp )
|