Merge branch 'kostyantyn/bugfix/version' into 'master'

Fix e-acsl version in local_config.ml



See merge request !84

src/plugins/e-acsl/Makefile.in

@@ -89,8 +89,6 @@ IS_DISTRIBUTED:=no
 
 PLUGIN_GENERATED:= $(EACSL_PLUGIN_DIR)/local_config.ml
 
-EACSL_VERSION:=$(shell $(SED) -e 's/\\(.*\\)/\\1/' $(EACSL_PLUGIN_DIR)/VERSION)
-
 $(EACSL_PLUGIN_DIR)/local_config.ml: $(EACSL_PLUGIN_DIR)/Makefile.in $(EACSL_PLUGIN_DIR)/VERSION
 	$(PRINT_MAKING) $@
 	$(RM) $@
@@ -307,6 +305,12 @@ headers::
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
+################
+# Version      #
+################
+
+EACSL_VERSION:=$(shell sed -e 's/\\(.*\\)/\\1/' $(EACSL_PLUGIN_DIR)/VERSION)
+
 ###########
 # Install #
 ###########