From: Serge Rehbinder <serge.rehbinder@cea.fr>
Date: Wed, 14 Sep 2016 09:48:34 +0000 (+0200)
Subject: Add VERSION in bash script compilation environment
X-Git-Tag: 5.0.0a1~127
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=e11c874952247cf9040069f8c730199d208bd547;p=tools%2Fsat.git

Add VERSION in bash script compilation environment
---

diff --git a/src/compilation.py b/src/compilation.py
index 5b4fb1b..d0c62db 100644
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -401,6 +401,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
         self.build_environ.set("DIST_NAME", self.config.VARS.dist_name)
         self.build_environ.set("DIST_VERSION", self.config.VARS.dist_version)
         self.build_environ.set("DIST", self.config.VARS.dist)
+        self.build_environ.set("VERSION", self.product_info.version)
 
     def do_batch_script_build(self, script):
         # define make options (may not be used by the script)