From 19c2632218b330c6a9efed6d5c1aafc53614e8ed Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Wed, 30 Oct 2019 11:47:26 +0100 Subject: [PATCH] [lint] move E-ACSL's .Makefile.lint into Frama-C's one --- .Makefile.lint | 40 +++++++++++++++++++++++++++ src/plugins/e-acsl/.Makefile.lint | 45 ------------------------------- 2 files changed, 40 insertions(+), 45 deletions(-) delete mode 100644 src/plugins/e-acsl/.Makefile.lint diff --git a/.Makefile.lint b/.Makefile.lint index 907d1de60fc..e31afb814f8 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 e513a673fa3..00000000000 --- 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 -- GitLab