From b886ff4694fc05befdf4c997881ad121b5b74c7a Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Mon, 1 Jul 2024 15:03:37 +0200 Subject: [PATCH] remove obsolete .gitignore files --- src/plugins/alias/.gitignore | 3 --- src/plugins/aorai/.gitignore | 7 ----- src/plugins/dive/.gitignore | 3 --- src/plugins/e-acsl/.gitignore | 36 ------------------------- src/plugins/instantiate/.gitignore | 4 --- src/plugins/loop_analysis/.gitignore | 4 --- src/plugins/markdown-report/.gitignore | 12 --------- src/plugins/nonterm/.gitignore | 4 --- src/plugins/obfuscator/.gitignore | 4 --- src/plugins/report/.gitignore | 4 --- src/plugins/security_slicing/.gitignore | 1 - src/plugins/server/.gitignore | 3 --- src/plugins/studia/.gitignore | 4 --- src/plugins/variadic/.gitignore | 4 --- src/plugins/wp/.gitignore | 17 ------------ 15 files changed, 110 deletions(-) delete mode 100644 src/plugins/alias/.gitignore delete mode 100644 src/plugins/aorai/.gitignore delete mode 100644 src/plugins/dive/.gitignore delete mode 100644 src/plugins/instantiate/.gitignore delete mode 100644 src/plugins/loop_analysis/.gitignore delete mode 100644 src/plugins/markdown-report/.gitignore delete mode 100644 src/plugins/nonterm/.gitignore delete mode 100644 src/plugins/obfuscator/.gitignore delete mode 100644 src/plugins/report/.gitignore delete mode 100644 src/plugins/security_slicing/.gitignore delete mode 100644 src/plugins/server/.gitignore delete mode 100644 src/plugins/studia/.gitignore delete mode 100644 src/plugins/variadic/.gitignore diff --git a/src/plugins/alias/.gitignore b/src/plugins/alias/.gitignore deleted file mode 100644 index bf8b4fea780..00000000000 --- a/src/plugins/alias/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/_build -tests/**/result -tests/*/oracle/dune diff --git a/src/plugins/aorai/.gitignore b/src/plugins/aorai/.gitignore deleted file mode 100644 index ad6e08d6507..00000000000 --- a/src/plugins/aorai/.gitignore +++ /dev/null @@ -1,7 +0,0 @@ -/aorai_eva_analysis.ml -/Makefile -/*parser*.output -/ptests_local_config.ml -/tests/*/result -/tests/*/result_prove -/top diff --git a/src/plugins/dive/.gitignore b/src/plugins/dive/.gitignore deleted file mode 100644 index 2da34c702bc..00000000000 --- a/src/plugins/dive/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/Makefile -/tests/*/result -/tests/**/dune diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore index 783ae829a3b..01f85a8388a 100644 --- a/src/plugins/e-acsl/.gitignore +++ b/src/plugins/e-acsl/.gitignore @@ -1,24 +1,3 @@ -*~ -*.o -*.cm* -*.annot -/*_DEP -/configure -/config.log -/Makefile -/.depend -/config.status -/autom4te.cache -/ptests_local_config.ml -/configure.lineno -/share/*.cm* -/share/*.annot -/share/*_DEP -/share/e-acsl/*.cm* -/share/e-acsl/*.annot -/share/e-acsl/*_DEP -/doc/manuals -/doc/code /doc/refman/*.out /doc/refman/*.bbl /doc/refman/*.blg @@ -48,21 +27,6 @@ /doc/userman/*.idx /doc/userman/*.log /doc/userman/*.lof -/tests/*/result*/* -.frama-c -META.frama-c-e_acsl -.merlin -.Makefile.plugin.generated -E_ACSL.check_mli_exists -top/ doc/doxygen/doxygen.cfg doc/doxygen/html doc/doxygen/warn.log -lib/libeacsl-jemalloc.a -lib/libeacsl-dlmalloc.a -lib/libeacsl-gmp.a -lib/libeacsl-rtl-bittree.a -lib/libeacsl-rtl-segment.a -lib/libeacsl-rtl-bittree-dbg.a -lib/libeacsl-rtl-segment-dbg.a -src/dependencies/dep_eva.ml diff --git a/src/plugins/instantiate/.gitignore b/src/plugins/instantiate/.gitignore deleted file mode 100644 index cf191ced799..00000000000 --- a/src/plugins/instantiate/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/*/oracle/dune -/tests/*/result diff --git a/src/plugins/loop_analysis/.gitignore b/src/plugins/loop_analysis/.gitignore deleted file mode 100644 index 3a98458e917..00000000000 --- a/src/plugins/loop_analysis/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/*/result -/tests/**/dune diff --git a/src/plugins/markdown-report/.gitignore b/src/plugins/markdown-report/.gitignore deleted file mode 100644 index 9f63f866593..00000000000 --- a/src/plugins/markdown-report/.gitignore +++ /dev/null @@ -1,12 +0,0 @@ -*.cm* -*.o -top/ -*.check_mli_exists -.Makefile.plugin.generated -.depend -.merlin -*~ -/Makefile -/tests/**/dune -/tests/*/result -/tests/*/result_* diff --git a/src/plugins/nonterm/.gitignore b/src/plugins/nonterm/.gitignore deleted file mode 100644 index b18adc61b4f..00000000000 --- a/src/plugins/nonterm/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/**/dune -/tests/*/result diff --git a/src/plugins/obfuscator/.gitignore b/src/plugins/obfuscator/.gitignore deleted file mode 100644 index 0114e3d0f08..00000000000 --- a/src/plugins/obfuscator/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/ptests_config -/tests/*/result diff --git a/src/plugins/report/.gitignore b/src/plugins/report/.gitignore deleted file mode 100644 index 3a98458e917..00000000000 --- a/src/plugins/report/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/*/result -/tests/**/dune diff --git a/src/plugins/security_slicing/.gitignore b/src/plugins/security_slicing/.gitignore deleted file mode 100644 index 5fc607b9e2f..00000000000 --- a/src/plugins/security_slicing/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/Makefile diff --git a/src/plugins/server/.gitignore b/src/plugins/server/.gitignore deleted file mode 100644 index 2da34c702bc..00000000000 --- a/src/plugins/server/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -/Makefile -/tests/*/result -/tests/**/dune diff --git a/src/plugins/studia/.gitignore b/src/plugins/studia/.gitignore deleted file mode 100644 index 0114e3d0f08..00000000000 --- a/src/plugins/studia/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/ptests_config -/tests/*/result diff --git a/src/plugins/variadic/.gitignore b/src/plugins/variadic/.gitignore deleted file mode 100644 index b18adc61b4f..00000000000 --- a/src/plugins/variadic/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/configure -/Makefile -/tests/**/dune -/tests/*/result diff --git a/src/plugins/wp/.gitignore b/src/plugins/wp/.gitignore index 7910a839f2d..38dc5ba8d15 100644 --- a/src/plugins/wp/.gitignore +++ b/src/plugins/wp/.gitignore @@ -1,20 +1,3 @@ -/Makefile -/.make-wp-coq -/.make-wp-why3 -/.WP_API_GENERATED - - - - - - -/tests/*/oracle/dune -/tests/*/oracle_*/dune -/tests/*/result -/tests/*/result_* - /doc/*/.make-class /doc/*/.make-icons /doc/*/.make-images - - -- GitLab