From 580d973639a0f902fa9d8c44d4f762af60105026 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 16 Oct 2023 09:17:15 +0200
Subject: [PATCH] [dune] update Dune version to 3.7
---
bin/frama-c-build-scripts.sh | 2 +-
dev/dune-workspace.bench | 2 +-
dev/dune-workspace.cover | 2 +-
doc/developer/dune-workspace.bench | 2 +-
doc/developer/examples/acsl_extension_ext_types/dune-project | 2 +-
doc/developer/examples/acsl_extension_foo/dune-project | 2 +-
doc/developer/examples/callstack/dune-project | 2 +-
doc/developer/examples/syntactic_check/dune-project | 2 +-
doc/developer/tutorial/hello/src/dune-project | 2 +-
doc/developer/tutorial/hello/v1-simple/dune-project | 2 +-
doc/developer/tutorial/hello/v2-register/dune-project | 2 +-
doc/developer/tutorial/hello/v3-log/dune-project | 2 +-
doc/developer/tutorial/hello/v4-options/dune-project | 2 +-
doc/developer/tutorial/hello/v5-multiple/dune-project | 2 +-
doc/developer/tutorial/hello/v6-test-with-bug/dune-project | 2 +-
doc/developer/tutorial/hello/v7-doc/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v1-simple/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v2-options/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v3-eva/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v4-bogue/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v5-state/dune-project | 2 +-
doc/developer/tutorial/viewcfg/v6-state-clear/dune-project | 2 +-
dune-project | 2 +-
opam | 2 +-
src/libraries/qed/dune-project | 2 +-
src/plugins/alias/dune-project | 2 +-
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/eva/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/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/variadic/dune-project | 2 +-
src/plugins/wp/dune-project | 2 +-
tools/hdrck/dune-project | 2 +-
tools/lint/dune-project | 2 +-
tools/ptests/dune-project | 2 +-
60 files changed, 60 insertions(+), 60 deletions(-)
diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 01da991eb03..f55c9b7796a 100755
--- a/bin/frama-c-build-scripts.sh
+++ b/bin/frama-c-build-scripts.sh
@@ -85,7 +85,7 @@ SCRIPT_LIBS=""
###############
DuneProject () {
- echo "(lang dune 3.3)"
+ echo "(lang dune 3.7)"
echo "(generate_opam_files true)"
echo "(name ${PACKAGE})"
echo "(maintainers \"anonymous\")"
diff --git a/dev/dune-workspace.bench b/dev/dune-workspace.bench
index a4c42e207dd..8bd6fb36155 100644
--- a/dev/dune-workspace.bench
+++ b/dev/dune-workspace.bench
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/dev/dune-workspace.cover b/dev/dune-workspace.cover
index 98a19820140..f4f64920209 100644
--- a/dev/dune-workspace.cover
+++ b/dev/dune-workspace.cover
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/doc/developer/dune-workspace.bench b/doc/developer/dune-workspace.bench
index 8416a8f539d..822aec62ddf 100644
--- a/doc/developer/dune-workspace.bench
+++ b/doc/developer/dune-workspace.bench
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(context
(default
(name bench)
diff --git a/doc/developer/examples/acsl_extension_ext_types/dune-project b/doc/developer/examples/acsl_extension_ext_types/dune-project
index 58bd1e5c15e..1e32532aeef 100644
--- a/doc/developer/examples/acsl_extension_ext_types/dune-project
+++ b/doc/developer/examples/acsl_extension_ext_types/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/acsl_extension_foo/dune-project b/doc/developer/examples/acsl_extension_foo/dune-project
index 58bd1e5c15e..1e32532aeef 100644
--- a/doc/developer/examples/acsl_extension_foo/dune-project
+++ b/doc/developer/examples/acsl_extension_foo/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/callstack/dune-project b/doc/developer/examples/callstack/dune-project
index 58bd1e5c15e..1e32532aeef 100644
--- a/doc/developer/examples/callstack/dune-project
+++ b/doc/developer/examples/callstack/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/examples/syntactic_check/dune-project b/doc/developer/examples/syntactic_check/dune-project
index 58bd1e5c15e..1e32532aeef 100644
--- a/doc/developer/examples/syntactic_check/dune-project
+++ b/doc/developer/examples/syntactic_check/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-example)
diff --git a/doc/developer/tutorial/hello/src/dune-project b/doc/developer/tutorial/hello/src/dune-project
index f4d53a07237..acdc62a88b2 100644
--- a/doc/developer/tutorial/hello/src/dune-project
+++ b/doc/developer/tutorial/hello/src/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/doc/developer/tutorial/hello/v1-simple/dune-project b/doc/developer/tutorial/hello/v1-simple/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v1-simple/dune-project
+++ b/doc/developer/tutorial/hello/v1-simple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v2-register/dune-project b/doc/developer/tutorial/hello/v2-register/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v2-register/dune-project
+++ b/doc/developer/tutorial/hello/v2-register/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v3-log/dune-project b/doc/developer/tutorial/hello/v3-log/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v3-log/dune-project
+++ b/doc/developer/tutorial/hello/v3-log/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v4-options/dune-project b/doc/developer/tutorial/hello/v4-options/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v4-options/dune-project
+++ b/doc/developer/tutorial/hello/v4-options/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v5-multiple/dune-project b/doc/developer/tutorial/hello/v5-multiple/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v5-multiple/dune-project
+++ b/doc/developer/tutorial/hello/v5-multiple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
+++ b/doc/developer/tutorial/hello/v6-test-with-bug/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/hello/v7-doc/dune-project b/doc/developer/tutorial/hello/v7-doc/dune-project
index ed900305012..a2b42a18433 100644
--- a/doc/developer/tutorial/hello/v7-doc/dune-project
+++ b/doc/developer/tutorial/hello/v7-doc/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-hello)
diff --git a/doc/developer/tutorial/viewcfg/v1-simple/dune-project b/doc/developer/tutorial/viewcfg/v1-simple/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v1-simple/dune-project
+++ b/doc/developer/tutorial/viewcfg/v1-simple/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v2-options/dune-project b/doc/developer/tutorial/viewcfg/v2-options/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v2-options/dune-project
+++ b/doc/developer/tutorial/viewcfg/v2-options/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v3-eva/dune-project b/doc/developer/tutorial/viewcfg/v3-eva/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v3-eva/dune-project
+++ b/doc/developer/tutorial/viewcfg/v3-eva/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
+++ b/doc/developer/tutorial/viewcfg/v4-bogue/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v5-state/dune-project b/doc/developer/tutorial/viewcfg/v5-state/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v5-state/dune-project
+++ b/doc/developer/tutorial/viewcfg/v5-state/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
index fea29a8a57b..3192f9fa2e1 100644
--- a/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
+++ b/doc/developer/tutorial/viewcfg/v6-state-clear/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
(using dune_site 0.1)
(name frama-c-view-cfg)
diff --git a/dune-project b/dune-project
index 6dcfb7a6609..24767fe4762 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/opam b/opam
index f3e6a0dc71e..0ed735b3b96 100644
--- a/opam
+++ b/opam
@@ -119,7 +119,7 @@ run-test: [
]
depends: [
- "dune" { >= "3.3.0" | (>= "3.5.0" & os="macos") }
+ "dune" { >= "3.7.0" }
"dune-configurator"
"dune-site"
diff --git a/src/libraries/qed/dune-project b/src/libraries/qed/dune-project
index d558f53e159..5fcdf50816c 100644
--- a/src/libraries/qed/dune-project
+++ b/src/libraries/qed/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project
index 5f564c9a812..f49e605ee0f 100644
--- a/src/plugins/alias/dune-project
+++ b/src/plugins/alias/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/aorai/dune-project b/src/plugins/aorai/dune-project
index 4e033be9ebe..1d964232423 100644
--- a/src/plugins/aorai/dune-project
+++ b/src/plugins/aorai/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; 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 de387c3ced3..ed2b1d8e4ff 100644
--- a/src/plugins/api-generator/dune-project
+++ b/src/plugins/api-generator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/callgraph/dune-project b/src/plugins/callgraph/dune-project
index ecc401c852c..7caae05ff21 100644
--- a/src/plugins/callgraph/dune-project
+++ b/src/plugins/callgraph/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/constant_propagation/dune-project b/src/plugins/constant_propagation/dune-project
index 802569e45b2..b789708bf6e 100644
--- a/src/plugins/constant_propagation/dune-project
+++ b/src/plugins/constant_propagation/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/dive/dune-project b/src/plugins/dive/dune-project
index a3c9521d662..068d43ab29b 100644
--- a/src/plugins/dive/dune-project
+++ b/src/plugins/dive/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/e-acsl/dune-project b/src/plugins/e-acsl/dune-project
index c0b8fea74ab..050ef314554 100644
--- a/src/plugins/e-acsl/dune-project
+++ b/src/plugins/e-acsl/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of the Frama-C's E-ACSL plug-in. ;;
diff --git a/src/plugins/eva/dune-project b/src/plugins/eva/dune-project
index 580cbd8f7af..6cf04855e9b 100644
--- a/src/plugins/eva/dune-project
+++ b/src/plugins/eva/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/from/dune-project b/src/plugins/from/dune-project
index 5e5648bb0c9..e7963b3b436 100644
--- a/src/plugins/from/dune-project
+++ b/src/plugins/from/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/impact/dune-project b/src/plugins/impact/dune-project
index 78ae718254d..e57a1918542 100644
--- a/src/plugins/impact/dune-project
+++ b/src/plugins/impact/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/inout/dune-project b/src/plugins/inout/dune-project
index 52064990516..708209bcf9e 100644
--- a/src/plugins/inout/dune-project
+++ b/src/plugins/inout/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/instantiate/dune-project b/src/plugins/instantiate/dune-project
index c166d64d9c8..5e7a37b0b99 100644
--- a/src/plugins/instantiate/dune-project
+++ b/src/plugins/instantiate/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/loop_analysis/dune-project b/src/plugins/loop_analysis/dune-project
index d31e06130b0..f12cba87ca3 100644
--- a/src/plugins/loop_analysis/dune-project
+++ b/src/plugins/loop_analysis/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/markdown-report/dune-project b/src/plugins/markdown-report/dune-project
index 920d99210b4..fb784f1e963 100644
--- a/src/plugins/markdown-report/dune-project
+++ b/src/plugins/markdown-report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/metrics/dune-project b/src/plugins/metrics/dune-project
index 68310fd4976..d2f5c14849d 100644
--- a/src/plugins/metrics/dune-project
+++ b/src/plugins/metrics/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/nonterm/dune-project b/src/plugins/nonterm/dune-project
index df0a7bb5988..e63208e5f08 100644
--- a/src/plugins/nonterm/dune-project
+++ b/src/plugins/nonterm/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/obfuscator/dune-project b/src/plugins/obfuscator/dune-project
index 5ea30ad86dd..5a768df1610 100644
--- a/src/plugins/obfuscator/dune-project
+++ b/src/plugins/obfuscator/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/occurrence/dune-project b/src/plugins/occurrence/dune-project
index 316594c53e4..a2d92871bc2 100644
--- a/src/plugins/occurrence/dune-project
+++ b/src/plugins/occurrence/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/pdg/dune-project b/src/plugins/pdg/dune-project
index 09c0389120a..c0892d544ee 100644
--- a/src/plugins/pdg/dune-project
+++ b/src/plugins/pdg/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/postdominators/dune-project b/src/plugins/postdominators/dune-project
index 20dbe0a7fa4..1fa99e6a298 100644
--- a/src/plugins/postdominators/dune-project
+++ b/src/plugins/postdominators/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/reduc/dune-project b/src/plugins/reduc/dune-project
index 02023e59bb2..7de282180a4 100644
--- a/src/plugins/reduc/dune-project
+++ b/src/plugins/reduc/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/report/dune-project b/src/plugins/report/dune-project
index f0306f7eaa7..b39aaed81b3 100644
--- a/src/plugins/report/dune-project
+++ b/src/plugins/report/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/rte/dune-project b/src/plugins/rte/dune-project
index 13e6264437c..72ffdbf9366 100644
--- a/src/plugins/rte/dune-project
+++ b/src/plugins/rte/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/scope/dune-project b/src/plugins/scope/dune-project
index f35ceb4834c..c79c48253b8 100644
--- a/src/plugins/scope/dune-project
+++ b/src/plugins/scope/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/security_slicing/dune-project b/src/plugins/security_slicing/dune-project
index 4bf4c106a69..d783cf326e6 100644
--- a/src/plugins/security_slicing/dune-project
+++ b/src/plugins/security_slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/server/dune-project b/src/plugins/server/dune-project
index f73b2da04b8..e7da76c1c52 100644
--- a/src/plugins/server/dune-project
+++ b/src/plugins/server/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/slicing/dune-project b/src/plugins/slicing/dune-project
index 7b55b8d077a..1790588b891 100644
--- a/src/plugins/slicing/dune-project
+++ b/src/plugins/slicing/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/sparecode/dune-project b/src/plugins/sparecode/dune-project
index 873e175b801..44da4597850 100644
--- a/src/plugins/sparecode/dune-project
+++ b/src/plugins/sparecode/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/studia/dune-project b/src/plugins/studia/dune-project
index afe3133659b..ec50963ba47 100644
--- a/src/plugins/studia/dune-project
+++ b/src/plugins/studia/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/users/dune-project b/src/plugins/users/dune-project
index b2d79d60cc4..eddf8bd6759 100644
--- a/src/plugins/users/dune-project
+++ b/src/plugins/users/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/variadic/dune-project b/src/plugins/variadic/dune-project
index 49f444baf72..f1708b34d53 100644
--- a/src/plugins/variadic/dune-project
+++ b/src/plugins/variadic/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/src/plugins/wp/dune-project b/src/plugins/wp/dune-project
index 03706f9a1cc..f82c480190b 100644
--- a/src/plugins/wp/dune-project
+++ b/src/plugins/wp/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tools/hdrck/dune-project b/tools/hdrck/dune-project
index bc13dab0fcc..2ebe0f9433f 100644
--- a/tools/hdrck/dune-project
+++ b/tools/hdrck/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tools/lint/dune-project b/tools/lint/dune-project
index 803d09ccdff..ac559732c13 100644
--- a/tools/lint/dune-project
+++ b/tools/lint/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
diff --git a/tools/ptests/dune-project b/tools/ptests/dune-project
index c5e576885d9..d174389660e 100644
--- a/tools/ptests/dune-project
+++ b/tools/ptests/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.3)
+(lang dune 3.7)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-C. ;;
--
GitLab