[lint] move E-ACSL's .Makefile.lint into Frama-C's one

.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

src/plugins/e-acsl/.Makefile.lint

-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