From 04b84a29082f8074b760ce2e7194571d2663bb1c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20B=C3=A9daride?= Date: Thu, 31 Jan 2013 15:46:19 +0100 Subject: [PATCH] Generate a VERSION file with release number during make dist --- buildtools/Cmake/Distrib.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake index 91d09b5d4a..6283f9bb6c 100644 --- a/buildtools/Cmake/Distrib.cmake +++ b/buildtools/Cmake/Distrib.cmake @@ -258,6 +258,7 @@ add_custom_command( add_custom_target(dist COMMENT "Removing the distribution directory" DEPENDS ${CMAKE_BINARY_DIR}/${PROJECT_NAME}-${release_version}.tar.gz + COMMAND ${CMAKE_COMMAND} -E echo ${PROJECT_NAME}-${release_version} > ${CMAKE_BINARY_DIR}/VERSION COMMAND ${CMAKE_COMMAND} -E remove_directory ${PROJECT_NAME}-${release_version}/ ) -- 2.20.1