Skip to content

chore: add dune lang 3.13 #9250

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.

Sign up for GitHub

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

Merged
merged 1 commit into from
Nov 22, 2023
Merged

chore: add dune lang 3.13 #9250

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -417,7 +417,7 @@ Let us start with a simple project. First, make sure we have a

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using coq 0.8)

Next we need a :ref:`dune<dune-files>` file with a :ref:`coq-theory` stanza:
Expand Down Expand Up @@ -647,7 +647,7 @@ otherwise Coq will not be able to find it.

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using coq 0.8)

(package
Expand Down
4 changes: 2 additions & 2 deletions doc/dune-files.rst
View file
Open in desktop
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:: dune

(lang dune 3.12)
(lang dune 3.13)

Additionally, they can contains the following stanzas.

Expand Down Expand Up @@ -785,7 +785,7 @@ The ``dune-workspace`` file uses the S-expression syntax. This is what a typical

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(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
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -92,7 +92,7 @@ file:

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using ctypes 0.3)


Expand Down
2 changes: 1 addition & 1 deletion doc/hacking.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -282,7 +282,7 @@ Such languages must be enabled in the ``dune`` project file separately:

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using coq 0.8)

If such extensions are experimental, it's recommended that they pass
Expand Down
4 changes: 2 additions & 2 deletions doc/instrumentation.rst
View file
Open in desktop
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:: dune

(lang dune 3.12)
(lang dune 3.13)
(instrument_with bisect_ppx)

or for each context individually:

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(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/melange.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ version 3.8 of the dune language and the Melange extension is enabled:

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using melange 0.1)

Next, write a :ref:`dune<dune-files>` file with a :ref:`melange-emit` stanza:
Expand Down
6 changes: 3 additions & 3 deletions doc/sites.rst
View file
Open in desktop
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:: dune

(lang dune 3.12)
(lang dune 3.13)
(using dune_site 0.1)
(name mygui)

Expand Down Expand Up @@ -225,7 +225,7 @@ Main Executable (C)

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using dune_site 0.1)
(name app)

Expand Down Expand Up @@ -285,7 +285,7 @@ The Plugin "plugin1"

.. code:: dune

(lang dune 3.12)
(lang dune 3.13)
(using dune_site 0.1)

(generate_opam_files true)
Expand Down
2 changes: 1 addition & 1 deletion otherlibs/dune-rpc/private/types.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ end
module Version = struct
type t = int * int

let latest = 3, 12
let latest = 3, 13

let sexp : t Conv.value =
let open Conv in
Expand Down
2 changes: 1 addition & 1 deletion test/blackbox-tests/test-cases/directory-targets/installed-dependency.t
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ Allow directories to be installable
Leaving directory 'a'

$ cat a/_build/install/default/lib/foo/dune-package
(lang dune 3.12)
(lang dune 3.13)
(name foo)
(sections (lib .) (share ../../share/foo))
(files (lib (META dune-package)) (share ((dir bar) x y)))
Expand Down
4 changes: 2 additions & 2 deletions test/blackbox-tests/test-cases/dune-init.t/run.t
View file
Open in desktop
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.12"}
$dune {>= "3.13"}
"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.12"}
"dune" {>= "3.13"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion test/blackbox-tests/test-cases/install/install-stublibs.t/run.t
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.12)
(lang dune 3.13)
(name libA)
(sections
(lib
Expand Down
2 changes: 1 addition & 1 deletion test/blackbox-tests/test-cases/melange/basic-install.t
View file
Open in desktop
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.12)
(lang dune 3.13)
(name foo)
(sections (lib .))
(files
Expand Down
4 changes: 2 additions & 2 deletions test/blackbox-tests/test-cases/pkg/implicit-dune-constraint.t
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@ constraint.
Can't find all required versions.
Selected: foo.0.0.1 x.dev
- dune -> (problem)
User requested = 3.12
User requested = 3.13
Rejected candidates:
dune.3.11.0: Incompatible with restriction: = 3.12
dune.3.11.0: Incompatible with restriction: = 3.13
[1]
$ test "4.0.0"
Solution for dune.lock:
Expand Down