diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index cb5b3025bc2e633804e4a8128d6d40509d4a899e..012d174c550fd2b04f91bcdc2614640759dbc007 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -170,14 +170,6 @@ ifeq (@MAY_RUN_TESTS@,yes)
 
 -include in_frama_ci
 
-ifeq ($(IN_FRAMA_CI),yes)
-
-PLUGIN_TESTS_DIRS := \
-	gmp \
-	no-main
-
-else
-
 PLUGIN_TESTS_DIRS := \
 	format \
 	runtime \
@@ -192,9 +184,6 @@ PLUGIN_TESTS_DIRS := \
 # supported.
 #	builtin \
 
-
-endif
-
 PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
 E_ACSL_TESTS: $(EACSL_PLUGIN_DIR)/tests/test_config