diff --git a/.Makefile.lint b/.Makefile.lint
index 907d1de60fcdcd9704086f1c47e260556f4ad539..e31afb814f833987d670ca74951cde992c38e160 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -384,3 +384,43 @@ ML_LINT_KO+=src/plugins/variadic/standard.ml
 ML_LINT_KO+=src/plugins/variadic/translate.ml
 ML_LINT_KO+=src/plugins/variadic/va_build.ml
 ML_LINT_KO+=src/plugins/variadic/va_types.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/exit_points.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/exit_points.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/interval.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/literal_strings.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/lscope.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/lscope.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/mmodel_analysis.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/rte.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/typing.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/analyses/typing.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/at_with_lscope.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/at_with_lscope.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/env.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/env.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/gmp.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/label.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/logic_functions.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/loops.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/loops.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/mmodel_translate.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/mmodel_translate.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/quantif.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/quantif.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/rational.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/visit.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/builtins.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/functions.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/functions.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/misc.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/libraries/misc.mli
+ML_LINT_KO+=src/plugins/e-acsl/src/main.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/options.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/dup_functions.ml
+ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/keep_status.ml
diff --git a/src/plugins/e-acsl/.Makefile.lint b/src/plugins/e-acsl/.Makefile.lint
deleted file mode 100644
index e513a673fa3b459bc4fd6cb0bae46f39f5b5afc9..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/.Makefile.lint
+++ /dev/null
@@ -1,45 +0,0 @@
-ML_LINT_KO+=src/plugins/e-acsl/E_ACSL.mli
-ML_LINT_KO+=src/plugins/e-acsl/demo/script.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/exit_points.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/exit_points.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/interval.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/literal_strings.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/lscope.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/lscope.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/mmodel_analysis.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/rte.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/typing.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/analyses/typing.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/at_with_lscope.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/at_with_lscope.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/env.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/env.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/gmp.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/label.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/logic_functions.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/loops.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/loops.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/mmodel_translate.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/mmodel_translate.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/quantif.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/quantif.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/rational.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/temporal.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/translate.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/code_generator/visit.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/builtins.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/error.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/functions.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/functions.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/misc.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/libraries/misc.mli
-ML_LINT_KO+=src/plugins/e-acsl/src/main.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/options.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/dup_functions.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/keep_status.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/prepare_ast.ml
-ML_LINT_KO+=src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
-ML_LINT_KO+=src/plugins/e-acsl/top/E_ACSL.mli