Skip to content

Commit

Permalink
chore: bump Dune version to 3.8 (#7051)
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <[email protected]>
  • Loading branch information
Alizter authored Feb 19, 2023
1 parent e8853cc commit 20a1f10
Show file tree
Hide file tree
Showing 10 changed files with 17 additions and 17 deletions.
4 changes: 2 additions & 2 deletions doc/coq.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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<dune-files>` file with a :ref:`coq-theory` stanza:
Expand Down Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down Expand Up @@ -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)))
Expand Down
2 changes: 1 addition & 1 deletion doc/foreign-code.rst
Original file line number Diff line number Diff line change
Expand Up @@ -92,7 +92,7 @@ file:

.. code:: scheme
(lang dune 3.7)
(lang dune 3.8)
(using ctypes 0.1)
Expand Down
4 changes: 2 additions & 2 deletions doc/hacking.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
4 changes: 2 additions & 2 deletions doc/instrumentation.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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)))
Expand Down
2 changes: 1 addition & 1 deletion doc/opam.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down
6 changes: 3 additions & 3 deletions doc/sites.rst
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ consists of a name and a :ref:`section<install>` (e.g ``lib``, ``share``,

.. code:: scheme
(lang dune 3.7)
(lang dune 3.8)
(using dune_site 0.1)
(name mygui)
Expand Down Expand Up @@ -225,7 +225,7 @@ Main Executable (C)

.. code:: scheme
(lang dune 3.7)
(lang dune 3.8)
(using dune_site 0.1)
(name app)
Expand Down Expand Up @@ -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)
Expand Down
2 changes: 1 addition & 1 deletion otherlibs/dune-rpc/private/types.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions test/blackbox-tests/test-cases/dune-init.t/run.t
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down Expand Up @@ -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: [
Expand Down
2 changes: 1 addition & 1 deletion test/blackbox-tests/test-cases/melange/basic-install.t
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 20a1f10

Please sign in to comment.