[dune] Bump dune lang version to 3.16 (#10459)

Signed-off-by: Emilio Jesus Gallego Arias <e+git@x80.org>
ocaml · Apr 27, 2024 · b074bbe · b074bbe
1 parent 6f878dd
commit b074bbe
Show file tree

Hide file tree

Showing 13 changed files with 19 additions and 19 deletions.
diff --git a/doc/coq.rst b/doc/coq.rst
@@ -429,7 +429,7 @@ lang<coq-lang>` stanza present:
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (using coq 0.8)
 
 Next we need a :doc:`/reference/dune/index` file with a :ref:`coq-theory`
@@ -660,7 +660,7 @@ the plugin to sit in, otherwise Coq will not be able to find it.
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (using coq 0.8)
 
   (package

diff --git a/doc/foreign-code.rst b/doc/foreign-code.rst
@@ -102,7 +102,7 @@ file:
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (using ctypes 0.3)
 
 

diff --git a/doc/hacking.rst b/doc/hacking.rst
@@ -283,7 +283,7 @@ Such languages must be enabled in the ``dune`` project file separately:
 
 .. code:: dune
 
-   (lang dune 3.15)
+   (lang dune 3.16)
    (using coq 0.8)
 
 If such extensions are experimental, it's recommended that they pass

diff --git a/doc/instrumentation.rst b/doc/instrumentation.rst
@@ -96,14 +96,14 @@ To enable an instrumentation backend globally, type the following in your
 
 .. code:: dune
 
-   (lang dune 3.15)
+   (lang dune 3.16)
    (instrument_with bisect_ppx)
 
 or for each context individually:
 
 .. code:: dune
 
-   (lang dune 3.15)
+   (lang dune 3.16)
    (context default)
    (context (default (name coverage) (instrument_with bisect_ppx)))
    (context (default (name profiling) (instrument_with landmarks)))

diff --git a/doc/melange.rst b/doc/melange.rst
@@ -42,7 +42,7 @@ is enabled:
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (using melange 0.1)
 
 Next, write a :doc:`/reference/dune/index` file with a

diff --git a/doc/sites.rst b/doc/sites.rst
@@ -34,7 +34,7 @@ will be installed as a sub-directory.
 
 .. code:: dune
 
-   (lang dune 3.15)
+   (lang dune 3.16)
    (using dune_site 0.1)
    (name mygui)
 
@@ -235,7 +235,7 @@ Main Executable (C)
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (using dune_site 0.1)
   (name app)
 
@@ -295,7 +295,7 @@ The Plugin "plugin1"
 
 .. code:: dune
 
-  (lang dune 3.15)
+  (lang dune 3.16)
   (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
@@ -27,7 +27,7 @@ end
 module Version = struct
   type t = int * int
 
-  let latest = 3, 15
+  let latest = 3, 16
 
   let sexp : t Conv.value =
     let open Conv in

diff --git a/test/blackbox-tests/test-cases/directory-targets/installed-dependency.t b/test/blackbox-tests/test-cases/directory-targets/installed-dependency.t
@@ -25,7 +25,7 @@ Allow directories to be installable
   Leaving directory 'a'
 
   $ cat a/_build/install/default/lib/foo/dune-package
-  (lang dune 3.15)
+  (lang dune 3.16)
   (name foo)
   (sections (lib .) (share ../../share/foo))
   (files (lib (META dune-package)) (share ((dir bar) x y)))

diff --git a/test/blackbox-tests/test-cases/dune-init.t/run.t b/test/blackbox-tests/test-cases/dune-init.t/run.t
@@ -385,7 +385,7 @@ And the opam file will be generated as expected
   bug-reports: "https://github.com/username/reponame/issues"
   depends: [
     "ocaml"
-    $dune {>= "3.15"}
+    $dune {>= "3.16"}
     "odoc" {with-doc}
   ]
   build: [
@@ -495,7 +495,7 @@ And the opam file will be generated as expected
   bug-reports: "https://github.com/username/reponame/issues"
   depends: [
     "ocaml"
-    "dune" {>= "3.15"}
+    "dune" {>= "3.16"}
     "odoc" {with-doc}
   ]
   build: [

diff --git a/test/blackbox-tests/test-cases/install/install-stublibs.t/run.t b/test/blackbox-tests/test-cases/install/install-stublibs.t/run.t
@@ -32,7 +32,7 @@ Begin by installing a library with C stubs.
   Installing install/lib/libA/libA.cmxs
   Installing install/lib/stublibs/dlllibA_stubs.so
   $ cat ./install/lib/libA/dune-package
-  (lang dune 3.15)
+  (lang dune 3.16)
   (name libA)
   (sections
    (lib

diff --git 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.15)
+  (lang dune 3.16)
   (name foo)
   (sections (lib .))
   (files

diff --git a/test/blackbox-tests/test-cases/pkg/implicit-dune-constraint.t b/test/blackbox-tests/test-cases/pkg/implicit-dune-constraint.t
@@ -21,9 +21,9 @@ constraint.
   Can't find all required versions.
   Selected: foo.0.0.1 x.dev
   - dune -> (problem)
-      User requested = 3.15
+      User requested = 3.16
       Rejected candidates:
-        dune.3.11.0: Incompatible with restriction: = 3.15
+        dune.3.11.0: Incompatible with restriction: = 3.16
   [1]
   $ test "4.0.0"
   Solution for dune.lock:

diff --git a/test/blackbox-tests/test-cases/pkg/pin-stanza/unknown-dune-version.t b/test/blackbox-tests/test-cases/pkg/pin-stanza/unknown-dune-version.t
@@ -31,5 +31,5 @@ We are unable to pin projects that the version of dune doesn't understand.
   Supported versions of this extension in version 100.1 of the dune language:
   - 1.0 to 1.12
   - 2.0 to 2.9
-  - 3.0 to 3.15
+  - 3.0 to 3.16
   [1]