From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Thu, 31 Jan 2013 14:46:19 +0000 (+0100)
Subject: Generate a VERSION file with release number during make dist
X-Git-Tag: v3_9_90~586
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/04b84a29082f8074b760ce2e7194571d2663bb1c

Generate a VERSION file with release number during make dist
---

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}/
   )