[dune] make lang version coherent

bin/frama-c-build-scripts.sh

@@ -85,7 +85,7 @@ SCRIPT_LIBS=""
 ###############
 
 DuneProject () {
-    echo "(lang dune 3.7)"
+    echo "(lang dune 3.13)"
     echo "(generate_opam_files true)"
     echo "(name ${PACKAGE})"
     echo "(maintainers \"anonymous\")"

dev/dune-workspace.bench

-(lang dune 3.7)
+(lang dune 3.13)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

dev/dune-workspace.cover

-(lang dune 3.7)
+(lang dune 3.13)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

doc/developer/dune-workspace.bench

-(lang dune 3.7)
+(lang dune 3.13)
 (context
  (default
   (name bench)

doc/developer/examples/acsl_extension_ext_types/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/acsl_extension_foo/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/callstack/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/examples/syntactic_check/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-example)

doc/developer/tutorial/hello/src/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                                                                        ;;
 ;;  This file is part of Frama-C.                                         ;;

doc/developer/tutorial/hello/v1-simple/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v2-register/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v3-log/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v4-options/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v5-multiple/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v6-test-with-bug/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/hello/v7-doc/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-hello)

doc/developer/tutorial/viewcfg/v1-simple/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v2-options/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v3-eva/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)

doc/developer/tutorial/viewcfg/v4-bogue/dune-project

-(lang dune 3.7)
+(lang dune 3.13)
 (using dune_site 0.1)
 
 (name frama-c-view-cfg)