[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, dune-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)#22317
Merged
kit-ty-kate merged 1 commit intoocaml:masterfrom Oct 20, 2022
Conversation
…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) CHANGES: - macOS: Handle unknown fsevents without crashing (ocaml/dune#6217, @rgrinberg) - Enable file watching on MacOS SDK < 10.13. (ocaml/dune#6218, @rgrinberg) - 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, ocaml/dune#6231, fixes ocaml/dune#5650, fixes ocaml/dune#6226, @emillon) - Added an (aliases ...) field to the (rules ...) stanza which allows the specification of multiple aliases per rule (ocaml/dune#6194, @Alizter) - The `(coq.theory ...)` stanza will now ensure that for each declared `(plugin ...)`, the `META` file for it is built before calling `coqdep`. This enables the use of the new `Findlib`-based loading method in Coq 8.16; however as of Coq 8.16.0, Coq itself has some bugs preventing this to work yet. (ocaml/dune#6167 , workarounds ocaml/dune#5767, @ejgallego) - Allow include statement in install stanza (ocaml/dune#6139, fixes ocaml/dune#256, @gridbugs) - Handle CSI n K code in ANSI escape codes from commands. (ocaml/dune#6214, fixes ocaml/dune#5528, @emillon) - Add a new experimental feature `mode_specific_stubs` that allows the specification of different flags and sources for foreign stubs depending on the build mode (ocaml/dune#5649, @voodoos)
Contributor
Author
|
I'll let the cluster work and diff the results with the alpha run. |
Contributor
Author
|
I went through the list of failures. They were all in these categories:
So, nothing related to dune. |
Contributor
|
For me it's fine but due to the package, I prefer to have a double-check (specially from @kit-ty-kate). |
Member
|
Thanks |
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
XDG Base Directory Specification
CHANGES:
macOS: Handle unknown fsevents without crashing (fix(fsevents): correctly handle unknown events dune#6217, @rgrinberg)
Enable file watching on MacOS SDK < 10.13. (fix(fsevents): allow on older mac sdk's dune#6218, @rgrinberg)
Sandbox running cinaps actions starting from cinaps 1.1 (feature(cinaps): sandbox running cinaps actions dune#6176, @rgrinberg)
Add a
runtime_depsfield in thecinapsstanza to specify runtimedependencies for running the cinaps preprocessing action (feature(cinaps): runtime dependencies dune#6175, @rgrinberg)
Shadow alias module
Foo__when building a libraryFoo(feature: shadow alias module dune#6126, @rgrinberg)Extend dune describe to include the root path of the workspace and the
relative path to the build directory. (Add root and build context to dune describe output dune#6136, @reubenrowe)
Allow dune describe workspace to accept directories as arguments.
The provided directories restrict the worskpace description to those
directories. (allow
dune describe workspaceto accept directories as arguments dune#6107, fixes "dune describe": allow to describe specific libraries and directories 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(feature: new terminal persistence mode 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 (fix: disallow targets in subdirs dune#6031,
@rgrinberg)
Do not ignore rules marked
(promote (until-clean))when--ignore-promoted-rules(or-p) is passed. (Record the fact that odoc reads ODOC_SYNTAX dune#6010, fixes Bad interaction between '(mode promote-until-clean)' and tests ran with '-p <pkg>' dune#4401, @emillon)Dune no longer considers .aux files as targets during Coq compilation. This
means that .aux files are no longer cached. (remove .aux targets from coqc rule dune#6024, fixes
--cache-check-probabilitygives "false" positives on Coq builds dune#6004, @Alizter)Cinaps actions are now sandboxed by default (feature: sandbox cinaps actions dune#6062, @rgrinberg)
Allow rules producing directory targets to be not sandboxed (feature: relax directory target rules dune#6056,
@rgrinberg)
Introduce a
dirsfield in theinstallstanza to install entiredirectories (feature: install dir dune#5097, fixes Install directories dune#5059, @rgrinberg)
Menhir rules are now sandboxed by default (feature: sandbox menhir actions dune#6076, @rgrinberg)
Allow rules producing directory targets to create symlinks (fix(dir-target): allow producing symlinks dune#6077, fixes
Directory targets that contain symlinks dune#5945, @rgrinberg)
Inline tests are now sandboxed by default (feature: sandbox inline tests rules dune#6079, @rgrinberg)
Fix build-info version when used with flambda (fix(duild-info): reapply flambda fix from #3599 removed in #5049 dune#6089, fixes Regression of dune-build-info with flambda dune#6075, @jberdine)
Add an
(include <file>)term to theinclude_dirsfield for addingdirectories to the include paths sourced from a file. (Add
(:include <file>)terms to include_dir field dune#6058, fixes allow :include in include_dirs field dune#3993,@gridbugs)
Support
(extra_objects ...)field in(executable ...)and(library ...)stanzas (Support (foreign_objects ...) field dune#6084, fixes Allow compilation with foreign object files dune#4129, @gridbugs)Fix compilation of Dune under esy on Windows (XDG stubs: require Vista functions dune#6109, fixes Dune 3.4+ broken in esy on Windows dune#6098, @nojb)
Improve error message when parsing several licenses in
(license)(Improve error when parsing several licenses dune#6114,fixes Error trying to give multiple licenses dune#6103, @emillon)
odoc rules now about
ODOC_SYNTAXand will rerun accordingly (Record the fact that odoc reads ODOC_SYNTAX dune#6010, fixesAdd support for Reason doc generation dune#1117, @emillon)
dune install: copy files in an atomic way (Refactor: use copy_file in install/uninstall dune#6150, @emillon)
Add
%{coq:...}macro for accessing data about the configuration about Coq.For instance
%{coq:version}(feature(coq): coq macro 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. (Upgrade cmdliner fork to 1.1.1 dune#6038, @emillon,Migrate
initsubcommand to use cmdliner nested subcommand API 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).([coq] Fix composition of boot library when it has plugins, add field to allow libraries to opt out of stdlib dune#6165 Create (stdlib) syntax for Coq stanza dune#6164, fixes Coq stanzas cannot be independent of
coq-stdlibdune#6163, @ejgallego @Alizter @LasseBlaauwbroek)on macOS, sign executables produced by artifact substitution (Call codesign after artifact substitution on macos dune#6137, Only run codesign if there have been substitutions dune#6231,
fixes For Apple M1, binary substitution breaks codesign dune#5650, fixes 3.5.0-alpha1: Can't build without
codesignon macOS dune#6226, @emillon)Added an (aliases ...) field to the (rules ...) stanza which allows the
specification of multiple aliases per rule (feature: multiple alias support in rules dune#6194, @Alizter)
The
(coq.theory ...)stanza will now ensure that for each declared(plugin ...), theMETAfile for it is built before callingcoqdep. This enablesthe use of the new
Findlib-based loading method in Coq 8.16; however as ofCoq 8.16.0, Coq itself has some bugs preventing this to work yet. ([coq] Add dependency to META file for Coq plugins dune#6167 ,
workarounds META.pkg is illformed dune#5767, @ejgallego)
Allow include statement in install stanza (Allow include in install stanza dune#6139, fixes use :include in install stanza dune#256, @gridbugs)
Handle CSI n K code in ANSI escape codes from commands. (Ansi_color.parse: handle CSI n K dune#6214, fixes Output line with ANSI escape code disappears dune#5528,
@emillon)
Add a new experimental feature
mode_specific_stubsthat allows thespecification of different flags and sources for foreign stubs depending on
the build mode ([new feature] Mode-specific foreign stubs dune#5649, @voodoos)