Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master'

[ptests] requires dune 3.2

See merge request frama-c/frama-clang!190

dune-project

-(lang dune 2.9)
+(lang dune 3.2)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-Clang                                      ;;

frama-c-clang.opam

@@ -2,7 +2,7 @@
 opam-version: "2.0"
 tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
 depends: [
-  "dune" {>= "2.9"}
+  "dune" {>= "3.2"}
   "frama-c" {>= "25.0" & < "26.0"}
   "zarith" {>= "1.5"}
   "camlp5"