From aa2217a4bcd870d4b178d577d0a772064e96d78d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 26 Sep 2011 13:30:31 +0000
Subject: [PATCH] bug fixed in Makefile + small improvment in configure
---
src/plugins/e-acsl/Makefile.in | 11 ++---------
src/plugins/e-acsl/configure.ac | 4 +++-
2 files changed, 5 insertions(+), 10 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0b4ee5f8e64..3d3e83a8274 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -100,12 +100,5 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
# Regenerating the Makefile on need #
#####################################
-ifeq ("$(FRAMAC_INTERNAL)","yes")
-CONFIG_STATUS_DIR=$(FRAMAC_SRC)
-else
-CONFIG_STATUS_DIR=.
-endif
-
-$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in \
- $(CONFIG_STATUS_DIR)/config.status
- cd $(CONFIG_STATUS_DIR) && ./config.status
+$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in $(E_ACSL_DIR)/config.status
+ cd $(E_ACSL_DIR) && ./config.status
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index ea103a9cf1e..17dbc0723ee 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -55,7 +55,7 @@ AC_CHECK_HEADER(stdio.h,HAVE_STDIO_H=yes,)
if test -z $CC; then
MAY_RUN_TESTS=no
AC_MSG_WARN([no C compiler: non-regression tests unavailable.])
-fi
+else
if test -z $HAVE_STDIO_H; then
MAY_COMPILE_WITH_CC=false
@@ -88,6 +88,8 @@ if test -z $HAVE_GMP; then
AC_MSG_WARN([GMP library missing: non-regression tests unavailable.])
fi
+fi # testing $CC
+
#######################
# Generating Makefile #
#######################
--
GitLab