Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: bump Dune version to 3.8 #7051

Merged
merged 1 commit into from
Feb 19, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
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