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, dune-action-plugin and chrome-trace (3.5.0~alpha1)

CHANGES:

- Sandbox running cinaps actions starting from cinaps 1.1 (ocaml/dune#6176, @rgrinberg)

- Add a `runtime_deps` field in the `cinaps` stanza to specify runtime
  dependencies for running the cinaps preprocessing action (ocaml/dune#6175, @rgrinberg)

- Shadow alias module `Foo__` when building a library `Foo` (ocaml/dune#6126, @rgrinberg)

- Extend dune describe to include the root path of the workspace and the
  relative path to the build directory. (ocaml/dune#6136, @reubenrowe)

- Allow dune describe workspace to accept directories as arguments.
  The provided directories restrict the worskpace description to those
  directories. (ocaml/dune#6107, fixes ocaml/dune#3893, @esope)

- Add a terminal persistence mode that attempts to clear the terminal history.
  It is enabled by setting terminal persistence to
  `clear-on-rebuild-and-flush-history` (ocaml/dune#6065, @rgrinberg)

- Disallow generating targets in sub direcories in inferred rules. The check to
  forbid this was accidentally done only for manually specified targets (ocaml/dune#6031,
  @rgrinberg)

- Do not ignore rules marked `(promote (until-clean))` when
  `--ignore-promoted-rules` (or `-p`) is passed. (ocaml/dune#6010, fixes ocaml/dune#4401, @emillon)

- Dune no longer considers .aux files as targets during Coq compilation. This
  means that .aux files are no longer cached. (ocaml/dune#6024, fixes ocaml/dune#6004, @Alizter)

- Cinaps actions are now sandboxed by default (ocaml/dune#6062, @rgrinberg)

- Allow rules producing directory targets to be not sandboxed (ocaml/dune#6056,
  @rgrinberg)

- Introduce a `dirs` field in the `install` stanza to install entire
  directories (ocaml/dune#5097, fixes ocaml/dune#5059, @rgrinberg)

- Menhir rules are now sandboxed by default (ocaml/dune#6076, @rgrinberg)

- Allow rules producing directory targets to create symlinks (ocaml/dune#6077, fixes
  ocaml/dune#5945, @rgrinberg)

- Inline tests are now sandboxed by default (ocaml/dune#6079, @rgrinberg)

- Fix build-info version when used with flambda (ocaml/dune#6089, fixes ocaml/dune#6075, @jberdine)

- Add an `(include <file>)` term to the `include_dirs` field for adding
  directories to the include paths sourced from a file. (ocaml/dune#6058, fixes ocaml/dune#3993,
  @gridbugs)

- Support `(extra_objects ...)` field in `(executable ...)` and `(library
  ...)` stanzas (ocaml/dune#6084, fixes ocaml/dune#4129, @gridbugs)

- Fix compilation of Dune under esy on Windows (ocaml/dune#6109, fixes ocaml/dune#6098, @nojb)

- Improve error message when parsing several licenses in `(license)` (ocaml/dune#6114,
  fixes ocaml/dune#6103, @emillon)

- odoc rules now about `ODOC_SYNTAX` and will rerun accordingly (ocaml/dune#6010, fixes
  ocaml/dune#1117, @emillon)

- dune install: copy files in an atomic way (ocaml/dune#6150, @emillon)

- Add `%{coq:...}` macro for accessing data about the configuration about Coq.
  For instance `%{coq:version}` (ocaml/dune#6049, @Alizter)

- update vendored copy of cmdliner to 1.1.1. This improves the built-in
  documentation for command groups such as `dune ocaml`. (ocaml/dune#6038, @emillon,
  ocaml/dune#6169, @shonfeder)

- The test suite for Coq now requires Coq >= 8.16 due to changes in the
  plugin loading mechanism upstream (which now uses findlib).

- Starting with Coq build language 0.6, theories can be built without importing
  Coq's standard library by including `(stdlib no)`.
  (ocaml/dune#6165 ocaml/dune#6164, fixes ocaml/dune#6163, @ejgallego @Alizter @LasseBlaauwbroek)

- on macOS, sign executables produced by artifact substitution (ocaml/dune#6137, fixes
  ocaml/dune#5650, @emillon)

- Added an (aliases ...) field to the (rules ...) stanza which allows the
  specification of multiple aliases per rule (ocaml/dune#6194, @Alizter)
  • Loading branch information
@emillon
emillon committed Oct 11, 2022
1 parent 2891c39 commit 3b35c07
Show file tree
Hide file tree
Showing 16 changed files with 710 additions and 0 deletions.
40 changes: 40 additions & 0 deletions packages/chrome-trace/chrome-trace.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
52 changes: 52 additions & 0 deletions packages/dune-action-plugin/dune-action-plugin.3.5.0~alpha1/opam
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"dune-glob" {= version}
"csexp" {>= "1.5.0"}
"ppx_expect" {with-test}
"stdune" {= version}
"dune-private-libs" {= 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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
46 changes: 46 additions & 0 deletions packages/dune-build-info/dune-build-info.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
50 changes: 50 additions & 0 deletions packages/dune-configurator/dune-configurator.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
41 changes: 41 additions & 0 deletions packages/dune-glob/dune-glob.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
51 changes: 51 additions & 0 deletions packages/dune-private-libs/dune-private-libs.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
43 changes: 43 additions & 0 deletions packages/dune-rpc-lwt/dune-rpc-lwt.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
44 changes: 44 additions & 0 deletions packages/dune-rpc/dune-rpc.3.5.0~alpha1/opam
View file
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 <[email protected]>"]
authors: ["Jane Street Group, LLC <[email protected]>"]
license: "MIT"
homepage: "https://github.com/ocaml/dune"
doc: "https://dune.readthedocs.io/"
bug-reports: "https://github.com/ocaml/dune/issues"
depends: [
"dune" {>= "3.3"}
"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.5.0_alpha1/dune-3.5.0.alpha1.tbz"
checksum: [
"sha256=af7e080deb7d1294459652b855aa899e7691c5df9e76b6639202bcb5d97b3300"
"sha512=ffff32200dda12b5122c7035e19613e3f56fd090f4962ec19f38e6c04faf84ce0a83eac0ae0b94f4c04ac4116012bbe03d35b3e207cb736bd91e7e72c37ba519"
]
}
x-commit-hash: "1d631162c74b90a65ecbffda636d832b259326dc"
Loading

0 comments on commit 3b35c07

Please sign in to comment.