diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 01da991eb03fb57527facae00ff1859d45d658f5..f55c9b7796a5a745b9216babf75b9f8fb4830c36 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 a4c42e207dd6c5096b61b4434a3c803323ca35ef..8bd6fb36155796033e747a34f876f0e68d72eaa9 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 98a198201406e64560f57f798cb2078d4f6cb06c..f4f649202096f4c47deb12d47aed6ffd55bf1f9f 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 8416a8f539d444aed0ea1f59196c2783dabd484f..822aec62ddf55856edf8d3f8047cab05fe26bfd9 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 58bd1e5c15ec9baaa10bfa8608d9966dca0aac59..1e32532aeef7d282b3dd50a6a3acffdb693732b2 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 58bd1e5c15ec9baaa10bfa8608d9966dca0aac59..1e32532aeef7d282b3dd50a6a3acffdb693732b2 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 58bd1e5c15ec9baaa10bfa8608d9966dca0aac59..1e32532aeef7d282b3dd50a6a3acffdb693732b2 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 58bd1e5c15ec9baaa10bfa8608d9966dca0aac59..1e32532aeef7d282b3dd50a6a3acffdb693732b2 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 f4d53a0723768620f6bd9b2d38f64d44403a1324..acdc62a88b240082039f2b85a77b04c5ba695a97 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 ed9003050122d5b61d407b7d4d0d2c71ee226530..a2b42a18433a12f0afe9798200604c72d5458091 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 fea29a8a57b3ebf740a5340d6274c2c650d20a07..3192f9fa2e13c717cb8bb0f84c0203ba441c95e4 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 6dcfb7a66093e2a97ded1ace3e4e5bd25f4c140b..24767fe4762b170ba307ece4aafcd290eb43cdf6 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 f3e6a0dc71edecd6c6ef525a3f0189a9d652b829..0ed735b3b966dae41d7eb16579bd19905d2e0c16 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 d558f53e159d5b31ff821247a32f2d319265d95b..5fcdf50816c8fbd22bd335cc68b34981a1147737 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 5f564c9a812ab5705915a36ed1ce66fbc4eb42bf..f49e605ee0f8d8a02a530ca2a98a353274404140 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 4e033be9ebe2e1f95e6305ec09a4c16217247c6e..1d9642324234a3f0edb2ff97e8d45c837d51401a 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 de387c3ced328471da2eea45a964173ff1ce03ca..ed2b1d8e4ff1eb0cc079659a08720495595da2ac 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 ecc401c852c23b0140e06580da6780f4b7e23c90..7caae05ff21b2be60529c2b52418631a3f20f48f 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 802569e45b23d55dd6aa4df9ec4941ecdb1304d9..b789708bf6ecf7cd4d1cce3eedc5fd0fcbe01b07 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 a3c9521d66212c728d8229c52504db13cb6ab55f..068d43ab29b6d407777af637b64fbf7315d27680 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 c0b8fea74abbfc1b4e27492f93e8ce99ed9852f9..050ef3145546b3997b305da06b426b1c8ff61ac6 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 580cbd8f7afbabbd5fe2793b09e81c6972ffb6c3..6cf04855e9b3141c1072c1f068ed76963dbdd8e5 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 5e5648bb0c996a09b5cc549f7ba0a04ba0d47553..e7963b3b436325692652845f9471d55cf11e934c 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 78ae718254d966b8e54c97042295614dfbdd9e9f..e57a1918542599f084a41d62a8a010036629d2f7 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 52064990516ff39f01b0fa5e3b5904813cf8d03b..708209bcf9eff8a97af24c817ecd204579a91734 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 c166d64d9c8eddd80f43fe581e64a16dcc7643de..5e7a37b0b996135e340c88e5c8fad9231eaaaad2 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 d31e06130b049620c8c7e5d0249e8d72b05f828d..f12cba87ca3025e3c1307592baae834879a37985 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 920d99210b4b369eef6342209f559f20150a7a3e..fb784f1e963a30de56a6f9716db3a289ae1d74ff 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 68310fd4976278bd416f2bdcdea69bf195b0c686..d2f5c14849d133fee04172d185cee0e1adb6ecfb 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 df0a7bb598807478af01ce62a22602dc948fa2f1..e63208e5f08046b02126fde57a2e3336ef6d6cf9 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 5ea30ad86dd693d586329ce6e7df577c77810224..5a768df161081905841dfeebdd40322d6b4247f2 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 316594c53e43b74e2ec8febc3a65cfc54869554a..a2d92871bc2a078fd075bb3807ec82d0f51b30d7 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 09c0389120abf233998b7f3579e035eadc5e958e..c0892d544ee246bcb701672dc6027123924d3d31 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 20dbe0a7fa45a9a8e98aab6eba52b334a864efc5..1fa99e6a2981d8106509db81c07ef341ef496d6b 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 02023e59bb268d68a71fa1951607a687333a0aca..7de282180a443b5e041713ae5a2a394b0642a728 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 f0306f7eaa7ca6d2e82a4385c70fb37a8754fde7..b39aaed81b3f5c7d088958936c6783004fcea2f4 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 13e6264437c97d10bc7c7f8fe87759b25afe6802..72ffdbf93661446d00ef6ade9c67100630c0723a 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 f35ceb4834c646c0f1f57e43ee0cc2572eed0d2c..c79c48253b8b6b937537a079a4925b10424d8688 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 4bf4c106a698abd74d03c962ea2077749207ccb4..d783cf326e69185ff9cadd580d0d8f13b8b473cc 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 f73b2da04b8b19c53ecf77e48d3ddaabd3b58aac..e7da76c1c52028b88af99da369a2eb117d9974c1 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 7b55b8d077a491676c1b2ed144ff5992b0146f5a..1790588b89177ef7c8fb4c8472ec830b87e5d84a 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 873e175b801ef64f7bd055559e3a5f684c6d1cc9..44da4597850926a6fdc1d729da6944ca7e6b6ec2 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 afe3133659b446e5cefa7bbe2ba59e97e88a6579..ec50963ba4768deff38cd4563069d876b66ff3e2 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 b2d79d60cc45f9c801792e907492ef027c2309b2..eddf8bd67593b3823f0e79afced203e4bdaa6b9e 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 49f444baf72690488ee0d1728fbb3a02f9251b2b..f1708b34d534e6c01e6888b9c252ad6eb9a2e5a0 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 03706f9a1cca4b70b1c51cc1fbcc7ee8d8fb8603..f82c480190bf04df0fba65be53dc33d436e47aaf 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 bc13dab0fcc32652187b959f3b3051b74801ce27..2ebe0f9433f2bd86d6c4be4bd40b291c76adc51f 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 803d09ccdffd650c88d1255a093bf7da444b2f0e..ac559732c13d511531406d19c2fd1c67261ef1d7 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 c5e576885d9cbe1ef6ab8f961c177334aeb1540d..d174389660e2d001566613f1a2d3f42f5e225a2c 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. ;;