forked from ocaml/opam-repository
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[new release] dune (15 packages) (3.13.0~alpha1)
CHANGES: - Do not ignore `(formatting ..)` settings in context or workspace files (ocaml/dune#8447, @rgrinberg) - Add command `dune cache clear` to completely delete all traces of the Dune cache. (ocaml/dune#8975, @nojb) - Fixed a bug where Dune was incorrectly parsing the output of coqdep when it was escaped, as is the case on Windows. (ocaml/dune#9231, fixes ocaml/dune#9218, @Alizter) - Copying mode for sandboxes will now follow symbolic links (ocaml/dune#9282, @rgrinberg) - Forbid the empty `(binaries ..)` field in the `env` stanza in the workspace file unless language version is at least 3.2. - [coq] Fix bug in computation of flags when composed with boot theories. (ocaml/dune#9347, fixes ocaml/dune#7909, @ejgallego) - Fixed a bug where the `(select)` field of the `(libraries)` field of the `(test)` stanza wasn't working properly. (ocaml/dune#9387, fixes ocaml/dune#9365, @Alizter) - Allow to disable Coq 0.8 deprecation warning (ocaml/dune#9439, @ejgallego) - Fix handling of the `PATH` argument to `dune init proj NAME PATH`. An intermediate directory called `NAME` is no longer created if `PATH` is supplied, so `dune init proj my_project .` will now initialize a project in the current working directory. (ocaml/dune#9447, fixes ocaml/dune#9209, @shonfeder) - Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file through the `env` stanza. (ocaml/dune#9449, @rgrinberg) - Experimental doc rules: Correctly handle the case when a package depends upon its own sublibraries (ocaml/dune#9461, fixes ocaml/dune#9456, @jonludlam) - Resolve various public binaries to their build location, rather than to where they're copied in the `_build/install` directory (ocaml/dune#9496, fixes ocaml/dune#7908, @rgrinberg). - Menhir: generate `.conflicts` file by default. Add new field to the `(menhir)` stanza to control the generation of this file: `(explain <blang expression>)`. Introduce `(menhir (flags ...) (explain ...))` field in the `(env)` stanza, delete `(menhir_flags)` field. All changes are guarded under a new version of the Menhir extension, 3.0. (ocaml/dune#9512, @nojb) - Correctly ignore warning flags in vendored projects (ocaml/dune#9515, @rgrinberg) - Directory targets can now be caches. (ocaml/dune#9535, @rleshchinskiy) - Remove warning 30 from default set for projects where dune lang is at least 3.13 (ocaml/dune#9568, @gasche) - It is now possible to use special forms such as `(:include)` and variables `%{read-lines:}` in `(modules)` and similar fields. Note that the dependencies introduced in this way (ie the files being read) must live in a different directory than the stanza making use of them. (ocaml/dune#9578, @nojb) - Use watch exclusions in watch mode on MacOS (ocaml/dune#9643, fixes ocaml/dune#9517, @PoorlyDefinedBehaviour) - Fix merlin configuration for `(include_subdirs qualified)` modules (ocaml/dune#9659, fixes ocaml/dune#8297, @rgrinberg) - Fix handling of `enabled_if` in binary install stanzas. Previously, we'd ignore the result of `enabled_if` when evaluating `%{bin:..}` (ocaml/dune#9707, @rgrinberg) - Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting of workspace-wide defaults for `coqdoc_flags`. (ocaml/dune#9280, fixes ocaml/dune#9139, @Alizter) - ctypes: fix an error where `(ctypes)` with no `(function_description)` would cause an error trying refer to a nonexistent `_stubs.a` dependency (ocaml/dune#9302, fix ocaml/dune#9300, @emillon)
- Loading branch information
Showing
15 changed files
with
674 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,40 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Chrome trace event generation library" | ||
| description: | ||
| "This library offers no backwards compatibility guarantees. Use at your own risk." | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "ocaml" {>= "4.08.0"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
53 changes: 53 additions & 0 deletions
53
packages/dune-action-plugin/dune-action-plugin.3.13.0~alpha1/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "[experimental] API for writing dynamic Dune actions" | ||
| description: """ | ||
|
|
||
| This library is experimental. No backwards compatibility is implied. | ||
|
|
||
| dune-action-plugin provides an API for writing dynamic Dune actions. | ||
| Dynamic dune actions do not need to declare their dependencies | ||
| upfront; they are instead discovered automatically during the | ||
| execution of the action. | ||
| """ | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "dune-glob" {= version} | ||
| "csexp" {>= "1.5.0"} | ||
| "ppx_expect" {with-test} | ||
| "stdune" {= version} | ||
| "dune-private-libs" {= version} | ||
| "dune-rpc" {= version} | ||
| "base-unix" | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
46 changes: 46 additions & 0 deletions
46
packages/dune-build-info/dune-build-info.3.13.0~alpha1/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,46 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Embed build information inside executable" | ||
| description: """ | ||
| The build-info library allows to access information about how the | ||
| executable was built, such as the version of the project at which it | ||
| was built or the list of statically linked libraries with their | ||
| versions. It supports reporting the version from the version control | ||
| system during development to get an precise reference of when the | ||
| executable was built. | ||
| """ | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "ocaml" {>= "4.08"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
50 changes: 50 additions & 0 deletions
50
packages/dune-configurator/dune-configurator.3.13.0~alpha1/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,50 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Helper library for gathering system configuration" | ||
| description: """ | ||
| dune-configurator is a small library that helps writing OCaml scripts that | ||
| test features available on the system, in order to generate config.h | ||
| files for instance. | ||
| Among other things, dune-configurator allows one to: | ||
| - test if a C program compiles | ||
| - query pkg-config | ||
| - import #define from OCaml header files | ||
| - generate config.h file | ||
| """ | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "ocaml" {>= "4.04.0"} | ||
| "base-unix" | ||
| "csexp" {>= "1.5.0"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Glob string matching language supported by dune" | ||
| description: | ||
| "dune-glob provides a parser and interpreter for globs as understood by dune language." | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "stdune" {= version} | ||
| "dyn" | ||
| "ordering" | ||
| "dune-private-libs" {= version} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
51 changes: 51 additions & 0 deletions
51
packages/dune-private-libs/dune-private-libs.3.13.0~alpha1/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,51 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Private libraries of Dune" | ||
| description: """ | ||
| !!!!!!!!!!!!!!!!!!!!!! | ||
| !!!!! DO NOT USE !!!!! | ||
| !!!!!!!!!!!!!!!!!!!!!! | ||
|
|
||
| This package contains code that is shared between various dune-xxx | ||
| packages. However, it is not meant for public consumption and provides | ||
| no stability guarantee. | ||
| """ | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "csexp" {>= "1.5.0"} | ||
| "pp" {>= "1.1.0"} | ||
| "dyn" {= version} | ||
| "stdune" {= version} | ||
| "ocaml" {>= "4.08"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,43 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Communicate with dune using rpc and Lwt" | ||
| description: "Specialization of dune-rpc to Lwt" | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "dune-rpc" {= version} | ||
| "result" {>= "1.5"} | ||
| "csexp" {>= "1.5.0"} | ||
| "lwt" {>= "5.3.0"} | ||
| "base-unix" | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,44 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Communicate with dune using rpc" | ||
| description: "Library to connect and control a running dune instance" | ||
| maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| authors: ["Jane Street Group, LLC <opensource@janestreet.com>"] | ||
| license: "MIT" | ||
| homepage: "https://github.com/ocaml/dune" | ||
| doc: "https://dune.readthedocs.io/" | ||
| bug-reports: "https://github.com/ocaml/dune/issues" | ||
| depends: [ | ||
| "dune" {>= "3.5"} | ||
| "csexp" | ||
| "ordering" | ||
| "dyn" | ||
| "xdg" | ||
| "stdune" {= version} | ||
| "pp" {>= "1.1.0"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| dev-repo: "git+https://github.com/ocaml/dune.git" | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| ["rm" "-rf" "vendor/csexp"] | ||
| ["rm" "-rf" "vendor/pp"] | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| url { | ||
| src: | ||
| "https://github.com/ocaml/dune/releases/download/3.13.0_alpha1/dune-3.13.0.alpha1.tbz" | ||
| checksum: [ | ||
| "sha256=ace98fed2c58698d58bd2247d5ef71677ded28cdafbb6d2ed2af40e81ca562a1" | ||
| "sha512=5263b1829a795d0d9e9265bd805b046de536c33419835395c0666310e781003fe040ba4506b66c1415b4ea6860ec1ccc60dda37913508821d9150a51008c14b1" | ||
| ] | ||
| } | ||
| x-commit-hash: "abbb7b9b7c0ebbda7506eca730079239716ff518" |
Oops, something went wrong.