bug fixed in Makefile + small improvment in configure

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

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 #
 #######################