Skip to content
Snippets Groups Projects
Commit 01289327 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Fix e-acsl version in local_config.ml

parent af6f8189
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 6
− 2
View file @ 01289327
...@@ -89,8 +89,6 @@ IS_DISTRIBUTED:=no ...@@ -89,8 +89,6 @@ IS_DISTRIBUTED:=no
PLUGIN_GENERATED:= $(EACSL_PLUGIN_DIR)/local_config.ml 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 $(EACSL_PLUGIN_DIR)/local_config.ml: $(EACSL_PLUGIN_DIR)/Makefile.in $(EACSL_PLUGIN_DIR)/VERSION
$(PRINT_MAKING) $@ $(PRINT_MAKING) $@
$(RM) $@ $(RM) $@
...@@ -307,6 +305,12 @@ headers:: ...@@ -307,6 +305,12 @@ headers::
include $(FRAMAC_SHARE)/Makefile.dynamic include $(FRAMAC_SHARE)/Makefile.dynamic
################
# Version #
################
EACSL_VERSION:=$(shell sed -e 's/\\(.*\\)/\\1/' $(EACSL_PLUGIN_DIR)/VERSION)
########### ###########
# Install # # Install #
########### ###########
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment