From b0dc50af1563c00d2f99091748f912b6420da083 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 23 Jun 2022 15:29:48 +0200 Subject: [PATCH] [Dune] Using required (lang dune 2.9) into dune-project files --- dune-project | 2 +- headers/dune-project | 3 +-- ptests/dune-project | 3 +-- src/plugins/aorai/dune-project | 2 +- src/plugins/api-generator/dune-project | 2 +- src/plugins/callgraph/dune-project | 2 +- src/plugins/constant_propagation/dune-project | 2 +- src/plugins/dive/dune-project | 2 +- src/plugins/e-acsl/dune-project | 2 +- src/plugins/from/dune-project | 2 +- src/plugins/impact/dune-project | 2 +- src/plugins/inout/dune-project | 2 +- src/plugins/instantiate/dune-project | 2 +- src/plugins/loop_analysis/dune-project | 2 +- src/plugins/markdown-report/dune-project | 2 +- src/plugins/metrics/dune-project | 2 +- src/plugins/nonterm/dune-project | 2 +- src/plugins/obfuscator/dune-project | 2 +- src/plugins/occurrence/dune-project | 2 +- src/plugins/pdg/dune-project | 2 +- src/plugins/postdominators/dune-project | 2 +- src/plugins/print_api/dune-project | 2 +- src/plugins/qed/dune-project | 2 +- src/plugins/reduc/dune-project | 2 +- src/plugins/report/dune-project | 2 +- src/plugins/rte/dune-project | 2 +- src/plugins/scope/dune-project | 2 +- src/plugins/security_slicing/dune-project | 2 +- src/plugins/server/dune-project | 2 +- src/plugins/slicing/dune-project | 2 +- src/plugins/sparecode/dune-project | 2 +- src/plugins/studia/dune-project | 2 +- src/plugins/users/dune-project | 2 +- src/plugins/value/dune-project | 2 +- src/plugins/variadic/dune-project | 2 +- src/plugins/wp/dune-project | 2 +- 36 files changed, 36 insertions(+), 38 deletions(-) diff --git a/dune-project b/dune-project index 2c93dc0e3d0..25c7d8d3861 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/headers/dune-project b/headers/dune-project index b7724ec3502..fbf0f7596d7 100644 --- a/headers/dune-project +++ b/headers/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.7) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; @@ -21,7 +21,6 @@ ;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(allow_approximate_merlin) (package (name frama-c-hdchk) ) diff --git a/ptests/dune-project b/ptests/dune-project index 2bd73786d03..f1d0ae6fb8a 100644 --- a/ptests/dune-project +++ b/ptests/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.7) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; @@ -21,7 +21,6 @@ ;; ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(allow_approximate_merlin) (package (name frama-c-ptests) (depends diff --git a/src/plugins/aorai/dune-project b/src/plugins/aorai/dune-project index 477d0039330..d7317b50ddb 100644 --- a/src/plugins/aorai/dune-project +++ b/src/plugins/aorai/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Aorai plug-in of Frama-C. ;; diff --git a/src/plugins/api-generator/dune-project b/src/plugins/api-generator/dune-project index a007fa42b8f..bbff6793075 100644 --- a/src/plugins/api-generator/dune-project +++ b/src/plugins/api-generator/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/callgraph/dune-project b/src/plugins/callgraph/dune-project index f3112c37f6c..95a622cf6c7 100644 --- a/src/plugins/callgraph/dune-project +++ b/src/plugins/callgraph/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/constant_propagation/dune-project b/src/plugins/constant_propagation/dune-project index a5415ee795d..874ac889d23 100644 --- a/src/plugins/constant_propagation/dune-project +++ b/src/plugins/constant_propagation/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/dive/dune-project b/src/plugins/dive/dune-project index 10ce6aae583..222120b3026 100644 --- a/src/plugins/dive/dune-project +++ b/src/plugins/dive/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project index d99e1bdb0ea..ff6fc87f7ce 100644 --- a/src/plugins/e-acsl/dune-project +++ b/src/plugins/e-acsl/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of the Frama-C's E-ACSL plug-in. ;; diff --git a/src/plugins/from/dune-project b/src/plugins/from/dune-project index e520d496ef8..0c2a0998893 100644 --- a/src/plugins/from/dune-project +++ b/src/plugins/from/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/impact/dune-project b/src/plugins/impact/dune-project index e9e56a295bb..8cde0454d8b 100644 --- a/src/plugins/impact/dune-project +++ b/src/plugins/impact/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/inout/dune-project b/src/plugins/inout/dune-project index ee425844df4..3e4099fe3c8 100644 --- a/src/plugins/inout/dune-project +++ b/src/plugins/inout/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/instantiate/dune-project b/src/plugins/instantiate/dune-project index c20af17d254..53c2c30c6ef 100644 --- a/src/plugins/instantiate/dune-project +++ b/src/plugins/instantiate/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/loop_analysis/dune-project b/src/plugins/loop_analysis/dune-project index 171351477fa..5b2cde9de76 100644 --- a/src/plugins/loop_analysis/dune-project +++ b/src/plugins/loop_analysis/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/markdown-report/dune-project b/src/plugins/markdown-report/dune-project index 5691a73cfb5..98b4a10aabd 100644 --- a/src/plugins/markdown-report/dune-project +++ b/src/plugins/markdown-report/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/metrics/dune-project b/src/plugins/metrics/dune-project index 21026485223..a0c509088c2 100644 --- a/src/plugins/metrics/dune-project +++ b/src/plugins/metrics/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/nonterm/dune-project b/src/plugins/nonterm/dune-project index e5c9aec0abd..cee289176ac 100644 --- a/src/plugins/nonterm/dune-project +++ b/src/plugins/nonterm/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/obfuscator/dune-project b/src/plugins/obfuscator/dune-project index afab0e3f35d..b5af7a24e43 100644 --- a/src/plugins/obfuscator/dune-project +++ b/src/plugins/obfuscator/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/occurrence/dune-project b/src/plugins/occurrence/dune-project index 44b9d1157f8..ea66e0e48be 100644 --- a/src/plugins/occurrence/dune-project +++ b/src/plugins/occurrence/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/pdg/dune-project b/src/plugins/pdg/dune-project index a2c77d99773..1d13e366f65 100644 --- a/src/plugins/pdg/dune-project +++ b/src/plugins/pdg/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/postdominators/dune-project b/src/plugins/postdominators/dune-project index c7854a81b5a..269ba4e18cb 100644 --- a/src/plugins/postdominators/dune-project +++ b/src/plugins/postdominators/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/print_api/dune-project b/src/plugins/print_api/dune-project index 3cc0640cc57..75b5944a83a 100644 --- a/src/plugins/print_api/dune-project +++ b/src/plugins/print_api/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/qed/dune-project b/src/plugins/qed/dune-project index 10c6b6e6eb5..db151b2fb05 100644 --- a/src/plugins/qed/dune-project +++ b/src/plugins/qed/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/reduc/dune-project b/src/plugins/reduc/dune-project index 9394689bfcf..e77db938c6d 100644 --- a/src/plugins/reduc/dune-project +++ b/src/plugins/reduc/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/report/dune-project b/src/plugins/report/dune-project index 81767451a8a..2358c8daf8d 100644 --- a/src/plugins/report/dune-project +++ b/src/plugins/report/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/rte/dune-project b/src/plugins/rte/dune-project index e882b39551b..517150a660e 100644 --- a/src/plugins/rte/dune-project +++ b/src/plugins/rte/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/scope/dune-project b/src/plugins/scope/dune-project index 435500ffa37..cbd34d3aa51 100644 --- a/src/plugins/scope/dune-project +++ b/src/plugins/scope/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/security_slicing/dune-project b/src/plugins/security_slicing/dune-project index e2d8964552e..bbbfc8dda3b 100644 --- a/src/plugins/security_slicing/dune-project +++ b/src/plugins/security_slicing/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/server/dune-project b/src/plugins/server/dune-project index 642a75f2c04..3ab499b3780 100644 --- a/src/plugins/server/dune-project +++ b/src/plugins/server/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/slicing/dune-project b/src/plugins/slicing/dune-project index 3cccbdfdf8f..07b8be3ec01 100644 --- a/src/plugins/slicing/dune-project +++ b/src/plugins/slicing/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/sparecode/dune-project b/src/plugins/sparecode/dune-project index d23351985d5..9967b38940a 100644 --- a/src/plugins/sparecode/dune-project +++ b/src/plugins/sparecode/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/studia/dune-project b/src/plugins/studia/dune-project index 7d90dabb9d7..e9862343663 100644 --- a/src/plugins/studia/dune-project +++ b/src/plugins/studia/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/users/dune-project b/src/plugins/users/dune-project index 0bb24b6eb47..248478937b3 100644 --- a/src/plugins/users/dune-project +++ b/src/plugins/users/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/value/dune-project b/src/plugins/value/dune-project index d0e8c8a72b9..64ad5aeb1ec 100644 --- a/src/plugins/value/dune-project +++ b/src/plugins/value/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/variadic/dune-project b/src/plugins/variadic/dune-project index 626efb0a3b7..49aa75b87ea 100644 --- a/src/plugins/variadic/dune-project +++ b/src/plugins/variadic/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; diff --git a/src/plugins/wp/dune-project b/src/plugins/wp/dune-project index bfdc8e578fb..5142a747c3f 100644 --- a/src/plugins/wp/dune-project +++ b/src/plugins/wp/dune-project @@ -1,4 +1,4 @@ -(lang dune 2.8) +(lang dune 2.9) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; ;; This file is part of Frama-C. ;; -- GitLab