diff --git a/doc/coq.rst b/doc/coq.rst index 4d4527e94bd..12907d35ed7 100644 --- a/doc/coq.rst +++ b/doc/coq.rst @@ -331,7 +331,7 @@ Let us start with a simple project. First, make sure we have a .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using coq 0.7) Next we need a :ref:`dune` file with a :ref:`coq-theory` stanza: @@ -544,7 +544,7 @@ otherwise Coq will not be able to find it. .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using coq 0.7) (package diff --git a/doc/dune-files.rst b/doc/dune-files.rst index 037731062c2..235a86b1b12 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -14,7 +14,7 @@ contents of all configuration files read by Dune and looks like: .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) Additionally, they can contains the following stanzas. @@ -540,7 +540,7 @@ The ``dune-workspace`` file uses the S-expression syntax. This is what a typical .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (context (opam (switch 4.07.1))) (context (opam (switch 4.08.1))) (context (opam (switch 4.11.1))) diff --git a/doc/foreign-code.rst b/doc/foreign-code.rst index fbbbc64caa5..e2f31a55321 100644 --- a/doc/foreign-code.rst +++ b/doc/foreign-code.rst @@ -92,7 +92,7 @@ file: .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using ctypes 0.1) diff --git a/doc/hacking.rst b/doc/hacking.rst index 3ecc6bc40dc..0d2b52f56c7 100644 --- a/doc/hacking.rst +++ b/doc/hacking.rst @@ -237,8 +237,8 @@ Such languages must be enabled in the ``dune`` project file separately: .. code:: scheme - (lang dune 3.7) - (using coq 0.2) + (lang dune 3.8) + (using coq 0.7) If such extensions are experimental, it's recommended that they pass ``~experimental:true``, and that their versions are below 1.0. diff --git a/doc/instrumentation.rst b/doc/instrumentation.rst index c2105752446..a322f449782 100644 --- a/doc/instrumentation.rst +++ b/doc/instrumentation.rst @@ -88,14 +88,14 @@ To enable an instrumentation backend globally, type the following in your .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (instrument_with bisect_ppx) or for each context individually: .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (context default) (context (default (name coverage) (instrument_with bisect_ppx))) (context (default (name profiling) (instrument_with landmarks))) diff --git a/doc/opam.rst b/doc/opam.rst index bfe38bcc99e..03256363d0d 100644 --- a/doc/opam.rst +++ b/doc/opam.rst @@ -94,7 +94,7 @@ configuration will tell Dune to generate two opam files: ``cohttp.opam`` and .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (name cohttp) ; version field is optional (version 1.0.0) diff --git a/doc/sites.rst b/doc/sites.rst index b8be0b42cdf..5f9cb61a367 100644 --- a/doc/sites.rst +++ b/doc/sites.rst @@ -26,7 +26,7 @@ consists of a name and a :ref:`section` (e.g ``lib``, ``share``, .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using dune_site 0.1) (name mygui) @@ -225,7 +225,7 @@ Main Executable (C) .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using dune_site 0.1) (name app) @@ -279,7 +279,7 @@ The Plugin "plugin1" .. code:: scheme - (lang dune 3.7) + (lang dune 3.8) (using dune_site 0.1) (generate_opam_files true) diff --git a/otherlibs/dune-rpc/private/types.ml b/otherlibs/dune-rpc/private/types.ml index e2d2b373a28..450d20cd2f7 100644 --- a/otherlibs/dune-rpc/private/types.ml +++ b/otherlibs/dune-rpc/private/types.ml @@ -35,7 +35,7 @@ end module Version = struct type t = int * int - let latest = (3, 7) + let latest = (3, 8) let sexp : t Conv.value = let open Conv in diff --git a/test/blackbox-tests/test-cases/dune-init.t/run.t b/test/blackbox-tests/test-cases/dune-init.t/run.t index bd1ed44877e..5a54f6f43ad 100644 --- a/test/blackbox-tests/test-cases/dune-init.t/run.t +++ b/test/blackbox-tests/test-cases/dune-init.t/run.t @@ -369,7 +369,7 @@ And the opam file will be generated as expected bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" - $dune {>= "3.7"} + $dune {>= "3.8"} "odoc" {with-doc} ] build: [ @@ -479,7 +479,7 @@ And the opam file will be generated as expected bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" - "dune" {>= "3.7"} + "dune" {>= "3.8"} "odoc" {with-doc} ] build: [ diff --git a/test/blackbox-tests/test-cases/melange/basic-install.t b/test/blackbox-tests/test-cases/melange/basic-install.t index 9e78d90a6fd..f8cfc1e4f26 100644 --- a/test/blackbox-tests/test-cases/melange/basic-install.t +++ b/test/blackbox-tests/test-cases/melange/basic-install.t @@ -27,7 +27,7 @@ Test that we can install melange mode libraries ] $ cat ./_build/install/default/lib/foo/dune-package - (lang dune 3.7) + (lang dune 3.8) (name foo) (sections (lib .)) (files