Skip to content

Commit

Permalink
[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, du…
Browse files Browse the repository at this point in the history
…ne-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info and dune-action-plugin (3.1.0)

CHANGES:

- Add `sourcehut` as an option for defining project sources in dune-project
  files. For example, `(source (sourcehut user/repo))`. (ocaml/dune#5564, @rgrinberg)

- Add `dune coq top` command for running a Coq toplevel (ocaml/dune#5457, @rlepigre)

- Fix dune exec dumping database in wrong directory (ocaml/dune#5544, @bobot)

- Always output absolute paths for locations in RPC reported diagnostics
  (ocaml/dune#5539, @rgrinberg)

- Add `(deps <deps>)` in ctype field (ocaml/dune#5346, @bobot)

- Add `(include <file>)` constructor to dependency specifications. This can be
  used to introduce dynamic dependencies (ocaml/dune#5442, @anmonteiro)

- Ensure that `dune describe` computes a transitively closed set of
  libraries (ocaml/dune#5395, @esope)

- Add direct dependencies to $ dune describe output (ocaml/dune#5412, @esope)

- Show auto-detected concurrency on Windows too (ocaml/dune#5502, @MisterDA)

- Fix operations that remove folders with absolute path. This happens when
  using esy (ocaml/dune#5507, @EduardoRFS)

- Dune will not fail if some directories are non-empty when uninstalling.
  (ocaml/dune#5543, fixes ocaml/dune#5542, @nojb)

- `coqdep` now depends only on the filesystem layout of the .v files,
  and not on their contents (ocaml/dune#5547, helps with ocaml/dune#5100, @ejgallego)

- The mdx stanza 0.2 can now be used with `(implicit_transitive_deps false)`
  (ocaml/dune#5558, fixes ocaml/dune#5499, @emillon)

- Fix missing parenthesis in printing of corresponding terminal command for
  `(with-outputs-to )` (ocaml/dune#5551, fixes ocaml/dune#5546, @Alizter)
  • Loading branch information
rgrinberg committed Apr 15, 2022
1 parent 5269af2 commit ba3c1b9
Show file tree
Hide file tree
Showing 15 changed files with 666 additions and 0 deletions.
51 changes: 51 additions & 0 deletions packages/dune-action-plugin/dune-action-plugin.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
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.0"}
"dune-glob" {= version}
"csexp" {>= "1.5.0"}
"ppx_expect" {with-test}
"stdune" {= version}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
46 changes: 46 additions & 0 deletions packages/dune-build-info/dune-build-info.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
opam-version: "2.0"
synopsis: "Embed build informations 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.0"}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
49 changes: 49 additions & 0 deletions packages/dune-configurator/dune-configurator.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
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.0"}
"ocaml" {>= "4.04.0"}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
41 changes: 41 additions & 0 deletions packages/dune-glob/dune-glob.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
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.0"}
"stdune" {= version}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
51 changes: 51 additions & 0 deletions packages/dune-private-libs/dune-private-libs.3.1.0/opam
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.0"}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
42 changes: 42 additions & 0 deletions packages/dune-rpc-lwt/dune-rpc-lwt.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
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.0"}
"dune-rpc" {= version}
"result" {>= "1.5"}
"csexp" {>= "1.5.0"}
"lwt" {>= "5.3.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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
44 changes: 44 additions & 0 deletions packages/dune-rpc/dune-rpc.3.1.0/opam
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.0"}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
38 changes: 38 additions & 0 deletions packages/dune-site/dune-site.3.1.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
opam-version: "2.0"
synopsis: "Embed locations informations inside executable and libraries"
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.0"}
"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.1.0/fiber-3.1.0.tbz"
checksum: [
"sha256=077d520b0845c56e10ec5856d7c66ebe7a1f1bea4a3027d182f44b2529519d81"
"sha512=644fbf11e53ac88307b44c98f380e2c9db222b94e0e38263525c59d3504f185d79d916a506af45e84d16fd66889e1745305a7385d911e7b11c290549efdb444c"
]
}
x-commit-hash: "9bf3da86f1de33a9884eb91610a6dd9c875ebcbe"
Loading

0 comments on commit ba3c1b9

Please sign in to comment.