From a85779b066bca7b4a8361863fbb829ca522d7731 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 4 Oct 2011 08:38:01 +0000
Subject: [PATCH] [E-ACSL] fix Makefile bug
---
src/plugins/e-acsl/Makefile.in | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 3d3e83a8274..8ac367acffe 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -100,5 +100,12 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
# Regenerating the Makefile on need #
#####################################
-$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in $(E_ACSL_DIR)/config.status
- cd $(E_ACSL_DIR) && ./config.status
+ifeq ("$(FRAMAC_INTERNAL)","yes")
+CONFIG_STATUS_DIR=$(FRAMAC_SRC)
+else
+CONFIG_STATUS_DIR=$(E_ACSL_DIR)
+endif
+
+$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in \
+ $(CONFIG_STATUS_DIR)/config.status
+ cd $(CONFIG_STATUS_DIR) && ./config.status
--
GitLab