GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — fix(package-deps): follow library-induced package closure by Alizter · Pull Request #16362 · ocaml/dune

Conversation

@Alizter

@Alizter Alizter commented Sep 10, 2026 •
edited
Loading

Uh oh!

There was an error while loading. Please reload this page.

Copy link
Copy Markdown
Collaborator

Include whole packages reached through library dependencies and track installed file changes. For packages in the lock directory, we have no easy way of getting the libraries directly, so instead we use the direct package closure which is already computed.

  • Fixes In the future release, deps does not load package dependencies transitively #15511

When we start loading sources directly, this distinction with the old "package universe" will no longer exist, so I think its fine for it to work like this for now.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

All reactions
@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch from 5313655 to 128b7f1 Compare September 10, 2026 11:09
rgrinberg
rgrinberg reviewed Sep 10, 2026
View reviewed changes
Comment thread src/dune_rules/package_db.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

rgrinberg
rgrinberg reviewed Sep 10, 2026
View reviewed changes
Comment thread src/dune_rules/dep_conf_eval.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch 13 times, most recently from ec579f2 to a64c9fc Compare September 15, 2026 15:45
@Alizter
Alizter marked this pull request as ready for review September 16, 2026 11:22
@Alizter

Alizter commented Sep 16, 2026 •
edited
Loading

Uh oh!

There was an error while loading. Please reload this page.

Copy link
Copy Markdown
Collaborator Author

This currently breaks CI because nix is compressing man pages and making the dune-package manifest incorrect. There are a few ways we can fix this:

  1. Fix the nix derivations so they don't compress the man pages of the packages we depend on. This is tedious to maintain.
  2. Ignore invalid doc entries in package deps, as requested here Please ignore doc files in (package pkg) #14364. Seems sensible but could be a footgun for consumers of docs like odoc.
  3. Support compression of manpages directly. Seems sensible but a lot of work.

1 seems the best as a temporary solution. I don't know if there is anything else we can do here.

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

rgrinberg
rgrinberg reviewed Sep 17, 2026
View reviewed changes
Comment thread src/dune_rules/lib.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

rgrinberg
rgrinberg reviewed Sep 17, 2026
View reviewed changes
Comment thread src/dune_rules/lib.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch from f533b13 to 33c5cc8 Compare September 21, 2026 10:04
rgrinberg
rgrinberg reviewed Sep 21, 2026
View reviewed changes
Comment thread src/dune_rules/lib_info.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch from e6dce49 to 34352f1 Compare September 25, 2026 12:06
@Alizter
Alizter requested a review from rgrinberg September 25, 2026 12:12
@Alizter Alizter mentioned this pull request Sep 26, 2026
3.25.0 release tracker #15593
Open
52 of 62 tasks
rgrinberg
rgrinberg reviewed Sep 27, 2026
View reviewed changes
Comment thread src/dune_rules/pkg_rules.ml Resolved

Uh oh!

There was an error while loading. Please reload this page.

@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch from 6d8ca03 to c593449 Compare September 28, 2026 11:48
@Alizter
Alizter marked this pull request as draft September 28, 2026 11:48
Alizter added 2 commits September 28, 2026 17:27
@Alizter
fix(package-deps): follow library-induced package closure
c5ad5cc
Include whole packages reached through library dependencies and track
installed file changes.

Fixes ocaml#15511

The melange closure is not traversed.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
fix(nix): keep lambda-term manpages uncompressed
1206328
Library-induced package dependencies make (package utop) also track
lambda-term. Nix compression leaves its dune-package manifest pointing
to missing uncompressed manpages.

Extend the existing utop workaround to lambda-term so the CI shell keeps
the installed files consistent with the manifest.

Signed-off-by: Ali Caglayan <[email protected]>
Alizter added 9 commits September 28, 2026 17:27
@Alizter
refactor: move package owner field from Lib to Lib_info
c67944c
Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(lib): use Lib_info.package for installed ownership
b47ac42
Use the existing package accessor for resolved package ownership instead
of keeping a separate package_owner API. Derive findlib namespaces
explicitly for callers that need library identity, preserving their
existing behavior.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(lib): move installed package ownership into status
940b832
Store the optional owner in Installed and Installed_private instead of a
separate Lib_info field. Preserve ownership resolution and public/private
behavior while updating status construction and matching.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(findlib): construct library metadata with package ownership
1791c3f
Associate search paths with managed packages and resolve ownership in
findlib before passing it to META and dune-package decoding. Construct
installed library status with its owner instead of updating records later.

Keep unknown ownership in managed contexts and use the findlib package name
outside lock mode. Remove ownership setters and Lib.DB postprocessing.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(odoc): use package ownership for workspace documentation
dd80ce3
Use Lib_info.package for workspace-library documentation compilation,
linking, package labels, output directories, and markdown package membership.
Dispatch library documentation by status so installed libraries aren't
treated as workspace targets. Keep the independent workspace-package lookup
unchanged.

Use status to identify unpackaged private libraries in the new odoc index,
preserving the existing name-based layout for other libraries. Apply the new
odoc package mask using library ownership. Pass the documentation package
explicitly when constructing library indexes, retaining the classified
metadata package for installed libraries and including it in the memo key.

Record library membership in documentation packages alongside location maps,
and use it for odoc dependencies instead of re-deriving package identity.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(rocq): select workspace packages for plugin layouts
c2ce8ea
Collect public workspace ML-library packages directly from library status.
Keep private-plugin rejection and include flags for installed libraries.
Leave the Lib/Libexec-only layout dependency filtering unchanged to avoid
cycles when theories and plugins share a package.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(lib): use package ownership for default implementations
40c775e
Compare the package owners of a virtual library and its default
implementation. Keep implementation identity and privacy checks unchanged,
and clarify that installed package ownership may be unknown.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(mel): use package ownership for JavaScript emission
aecd3fa
Use Lib_info.package to select the package-name flag for library
JavaScript emission.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
refactor(lib): remove the unused findlib package accessor
aceade0
Remove Lib_info.findlib_package now that all its callers have migrated.

Signed-off-by: Ali Caglayan <[email protected]>
@Alizter
Alizter force-pushed the push-nqsuumtwqqly branch from c593449 to aceade0 Compare September 28, 2026 15:30
@Alizter
Alizter marked this pull request as ready for review September 28, 2026 15:30
@Alizter
Alizter requested a review from rgrinberg September 28, 2026 15:31
rgrinberg
rgrinberg approved these changes Sep 28, 2026
View reviewed changes
@Alizter
Alizter merged commit 2557690 into ocaml:main Sep 28, 2026
36 of 37 checks passed

Uh oh!

There was an error while loading. Please reload this page.

@Alizter
Alizter deleted the push-nqsuumtwqqly branch September 28, 2026 17:46
@Alizter Alizter mentioned this pull request Sep 28, 2026
In the future release, deps does not load package dependencies transitively #15511
Closed
@Alizter Alizter added this to the 3.25.0 milestone Sep 29, 2026
@shonfeder shonfeder mentioned this pull request Oct 2, 2026
[new release] dune (16 packages) (3.25.0~alpha0) ocaml/opam-repository#30850
Closed
This was referenced Oct 2, 2026
test(package-deps): reproduce old-language regression anmonteiro/dune#216
Closed
test(package-deps): reproduce old-language regression #16526
Merged
anmonteiro added a commit that referenced this pull request Oct 3, 2026
@anmonteiro
test(package-deps): reproduce old-language regression (#16526)
2bc82b9
Add a cram reproducer for the regression from #16362, recording the
failure for a local package dependency under `(lang dune 2.0)` and a
successful 2.9 control.

Upstreams anmonteiro#216.

Signed-off-by: Antonio Nuno Monteiro <[email protected]>
@anmonteiro anmonteiro mentioned this pull request Oct 3, 2026
fix(package-deps): remove the installed package version guard #16528
Closed
shonfeder pushed a commit that referenced this pull request Oct 8, 2026
@anmonteiro @Alizter
test(package-deps): reproduce old-language regression (#16526)
db9e751
Add a cram reproducer for the regression from #16362, recording the
failure for a local package dependency under `(lang dune 2.0)` and a
successful 2.9 control.

Upstreams anmonteiro#216.

Signed-off-by: Antonio Nuno Monteiro <[email protected]>

(cherry picked from commit 2bc82b9)

Signed-off-by: Ali Caglayan <[email protected]>
@shonfeder shonfeder mentioned this pull request Nov 3, 2026
[new release] dune (16 packages) (3.25.0~alpha1) ocaml/opam-repository#31082
Closed
@shonfeder shonfeder mentioned this pull request Nov 12, 2026
[new release] dune (16 packages) (3.25.0) ocaml/opam-repository#31193
Merged
raphael-proust pushed a commit to ocaml/opam-repository that referenced this pull request Nov 12, 2026
@shonfeder
[new release] dune (16 packages) (3.25.0)
5493d2f
CHANGES:

### Fixed

- Fix crashes when expanding module artifact pforms (`%{cmi:...}` etc.) with
  `(include_subdirs qualified)`. Qualified modules can now be referenced by
  dotted logical paths such as `%{cmi:Sub_a.Foo}`.
  (ocaml/dune#14498, ocaml/dune#16214, fixes ocaml/dune#14496, @Alizter, @anmonteiro)

- `dune show targets` now accepts build-only directories such as
  `_build/default/.simple.objs`. (ocaml/dune#14664, fixes ocaml/dune#13782, @Alizter)

- Reword the error raised when `%{target}` is used in a rule that omits the
  `(target ...)` (or `(targets ...)`) field, so it points at the missing
  field instead of mentioning "inferred rules". (ocaml/dune#14668, fixes ocaml/dune#12439,
  @Alizter)

- Fix watch mode on Windows by creating the file-watcher sync directory before
  using it, avoiding `open(_build/.sync\0): No such file or directory` when an
  RPC client requests a build. (ocaml/dune#14678, fixes ocaml/dune#14632, @rgrinberg)

- Add file watcher trace events for the Mac and Windows backends (ocaml/dune#14722, @rgrinberg)

- Fix decoding coalesced MacOS file notification events. (ocaml/dune#14725, @rgrinberg)

- Handle directory invalidations correctly in watch mode on MacOS (ocaml/dune#14756, @rgrinberg)

- Update ctime when restoring from the shared cache in copy mode. This prevents
  the trimmer from deleting the file. (ocaml/dune#14777, @rgrinberg)

- Allow the use of all the available variables in the `(enabled_if)` field in
  `(executable ...)` and `(install ...)` stanzas, similar to other stanzas like
  `(library ...)`. (ocaml/dune#14860, fixes ocaml/dune#14789, @punchagan)

- Linux: dune will now wait for the process group to be dead after the group
  leader is dead. This tightens dune's policy for what constitutes
  a successful action. Actions for which dune cannot be clean up the process
  group will now fail. (@rgrinberg, ocaml/dune#14868)

- Fix caching of package sources with symlinks by resolving symlinks after
  fetching the sources, similar to the directory symlinks resolution introduced
  in ocaml/dune#13792 (ocaml/dune#14871, fixes ocaml/dune#14509, @punchagan)

- Fixed wrong suggestion for duplicate entries in `conflicts` field (ocaml/dune#14956,
  fixes ocaml/dune#14903, @Leonidas-from-XIV)

- Fix building Dune on Solaris/illumos by handling its `wait4` semantics
  and retrying interrupted reads when spawning processes. (ocaml/dune#14980, fixes ocaml/dune#14182,
  @jperkin)

- Fix `dune-rpc-lwt` clients so disconnecting shuts down socket output
  without invalidating pending input reads, avoiding `EBADF` errors. (ocaml/dune#14983,
  fixes ocaml/dune#7624, @rgrinberg)

- Dune now restores dependency cutoffs concurrently when they were originally
  computed in parallel, instead of recomputing them one at a time. The
  `cutoffs_that_reduce_concurrency_in_watch_mode` setting, which existed to
  avoid this serialisation, is no longer needed and has been removed.
  (ocaml/dune#15012, @snowleopard)

- Validate project module names before creating the project directory in
  `dune init project`, so aborted initializations no longer leave empty
  directories behind. (ocaml/dune#15014, fixes ocaml/dune#9963, @rgrinberg)

- Fix cram test output sanitization when the project path contains a space.
  Absolute paths are now rewritten to `$TESTCASE_ROOT` even when the path
  contains spaces, and lines with multiple paths have every path sanitized.
  (ocaml/dune#15017, fixes ocaml/dune#14943, @yussypu)

- Improve the error message for private libraries that cannot be dependencies of
  public libraries by mentioning the `(package ...)` field as an alternative to
  giving the private library a public name (ocaml/dune#15070, fixes ocaml/dune#10230, @rgrinberg).

- Clarify the module conflict error shown when a module is used in multiple
  stanzas. The message now explains implicit module ownership and lists all
  relevant stanza kinds (ocaml/dune#15072, fixes ocaml/dune#6598, @rgrinberg).

- Emit relative artifact references in installed `dune-package` files when using
  an absolute external `DUNE_BUILD_DIR`, avoiding build-directory-dependent
  archive and module paths (ocaml/dune#15077, fixes ocaml/dune#11774, @rgrinberg).

- Simplify away `(when false _)` expressions (encoded `Nil`s) that previously
  survived inside `concat` and `when` forms, producing cleaner generated lock
  directories. (ocaml/dune#15092, fixes ocaml/dune#15090, @chizy7)

- Drop `(when false _)` arguments from `run` actions in generated lock
  directories instead of keeping them as no-op entries that were re-encoded as
  `(when false "")`. (ocaml/dune#15128, fixes ocaml/dune#15099, @chizy7)

- Make dune-configurator pass `--personality` to `pkgconf` only for
  version 1.7.0 and later. (ocaml/dune#15142, fixes ocaml/dune#11536, @dra27)

- `dune utop` now accepts an absolute path to a workspace directory instead of
  crashing with an internal error. (ocaml/dune#15272, fixes ocaml/dune#15108, @chizy7)

- Fix watch-mode status lines after source changes interrupt a build. Dune now
  shows the restart status while cancelling the current build and resumes the
  normal progress counter when the next build starts. (ocaml/dune#15289, fixes ocaml/dune#11134,
  @rgrinberg)

- Short-circuit AND and OR expressions in blang. This makes their evaluation
  lazy by default.
  (ocaml/dune#15291, @Sudha247)

- Fix the `%{ppx:ppx1+..+ppxn}` form. Previously, it was just broken
  and pointed at the wrong binary (ocaml/dune#15361, @rgrinberg)

- Remove ppx runtime dependencies from the list of dependencies provided via
  the `root_module` field. If such a runtime dependency is needed, it should be
  written in the `libraries` field. (ocaml/dune#15419, @rgrinberg)

- Avoid rebuilding `js_of_ocaml` library archives on every invocation for
  interface-only and empty libraries. (ocaml/dune#15427, @anmonteiro)

- Do not crash when `~/.config/dune` is a file instead of a directory. Just
  pretend it doesn't exist (ocaml/dune#15475, fixes ocaml/dune#15406, @rgrinberg)

- Dune will now terminate all launched sub-processes even if it received
  `SIGKILL` itself (ocaml/dune#15483, @rgrinberg)

- Account for `ctime` in stat based digest cache (ocaml/dune#15495, @rgrinberg)

- `$ dune install --dry-run` now checks for non empty directories as part of its
  validation (ocaml/dune#15501, @rgrinberg)

- Fix a target-less rule attached to multiple aliases (`(rule (aliases a b)
  ...)`) leaking unrelated contributions between those aliases. Building one
  alias no longer pulls in actions or dependencies that were added only to
  another of the rule's aliases. (ocaml/dune#15581, @NatKarmios)

- Make `dune pkg enabled` query a running Dune RPC server, so it observes
  transient server-side `--pkg enabled` and `--pkg disabled` settings without
  trying to acquire the build lock (ocaml/dune#15589, fixes ocaml/dune#15587, @Alizter)

- Make generated MDX executables inherit `link_flags` from `env` stanzas.
  (ocaml/dune#15614, fixes ocaml/dune#15613, @Alizter)

- Return Unix errors from `Fs_io.read_file` rather than raising them. (ocaml/dune#15641,
  @rgrinberg)

- Correct filesystem trace metrics for file writes and directory scans.
  (ocaml/dune#15686, @rgrinberg)

- Preserve runtime-event ring IDs in Dune traces so consumers can distinguish
  interleaved event streams. (ocaml/dune#15687, @rgrinberg)

- BREAKING CHANGE: in dune-project, (warnings (duplicate_deps ..)) requires
  a dune lang version of 3.22, instead of 3.18 (ocaml/dune#15696, @v-gb).

- Preserve spaces in unquoted filenames when applying Git patches instead of
  truncating paths at the first space (ocaml/dune#15781, @rgrinberg)

- Respect `enabled_if` on `install` stanzas when adding their files and
  directories to the `@all` alias. (ocaml/dune#15895, fixes ocaml/dune#15825, @aryemans)

- Fix Melange emission with installed libraries whose `.cmj` and `.cmi` files
  are stored in the `melange` object directory (ocaml/dune#15949, fixes ocaml/dune#14820,
  @anmonteiro)

- Reject package dependencies in named dependency bindings while decoding
  dependency fields, including for disabled stanzas. (ocaml/dune#15966, @rgrinberg)

- Fix Merlin definition lookup for libraries with private modules
  (ocaml/dune#15977, fixes ocaml/dune#4892, @anmonteiro)

- Fix a crash when generating install rules for a Melange-only implementation
  of an installed virtual library (ocaml/dune#16033, @anmonteiro)

- Prevent build cancellation from crashing Dune when macOS reports `EPERM`
  while signaling a process group (ocaml/dune#16059, fixes ocaml/dune#16053, @rgrinberg)

- Fix `dune pkg outdated` so it fails early with a clear user message if it is
  run when package management is not enabled. (ocaml/dune#16065, @shonfeder)

- Fix watch mode builds remaining stale after the file watcher event queue
  overflows (ocaml/dune#16068, fixes ocaml/dune#16052, @rgrinberg)

- Reject Windows path separators in validated filename components (ocaml/dune#16076,
  @rgrinberg)

- Preserve output following malformed ANSI escape sequences and erase-line
  controls (ocaml/dune#16116, @rgrinberg).

- Resolve relative paths passed to `dune ocaml top-module` from the directory
  where Dune was started, allowing use from workspace subdirectories. (ocaml/dune#16135,
  @rgrinberg)

- Allow `dune ocaml top` to accept absolute directory paths inside the
  workspace. (ocaml/dune#16142, @rgrinberg)

- Allow Dune promotion commands to accept absolute source paths inside the
  workspace. (ocaml/dune#16143, @rgrinberg)

- Allow `dune describe workspace` to accept absolute directory filters inside
  the workspace. (ocaml/dune#16144, @rgrinberg)

- Reject empty `module_systems` fields in `melange.emit` stanzas instead of
  silently producing no JavaScript files (ocaml/dune#16162, @anmonteiro)

- Sandbox PPX lint actions starting with Dune language 3.25 so linters cannot
  observe undeclared build targets. (ocaml/dune#16176, @rgrinberg)

- Prevent diagnostic source locations at compact-position field boundaries from
  being truncated (ocaml/dune#16180, @rgrinberg)

- Sandbox `ocaml-mdx deps` when using MDX extension 0.6 so dependency
  discovery cannot observe undeclared workspace inputs. (ocaml/dune#16183, @rgrinberg)

- Fix missing Odoc generation of OxCaml parameter implementations (ocaml/dune#16200, @art-w)

- Make `Dune_rpc_lwt.V1.Action_plugin.read_directory_with_glob` return an empty listing
  for absent directories (ocaml/dune#16207, fixes ocaml/dune#4445, @rgrinberg)

- Fix compiling Melange implementations of installed virtual libraries, both
  with and without binary annotations, including transitive private module
  dependencies (ocaml/dune#16211, ocaml/dune#16212, ocaml/dune#16272, @anmonteiro)

- Run Ctypes stub generation in a sandbox and honor its declared dependencies.
  (ocaml/dune#16223, @rgrinberg)

- Fix `@opam` failing to promote a generated opam file after it is deleted
  (ocaml/dune#16234, fixes ocaml/dune#16233, @Alizter)

- Rebuild generated Ctypes helpers when headers from Ctypes' implicit include
  directories change (ocaml/dune#16243, @rgrinberg)

- Collect action-provided trace events when an action fails instead of dropping
  them during result validation. (ocaml/dune#16250, @rgrinberg)

- Report the usual program-not-found error when a `dynamic-run` executable is
  missing instead of failing with an assertion. (ocaml/dune#16251, @rgrinberg)

- Prevent rules with duplicate lock declarations from deadlocking by acquiring
  each lock only once. (ocaml/dune#16252, @rgrinberg)

- Prevent concurrent action children from closing shared redirections before
  their siblings use them (ocaml/dune#16257, @rgrinberg)

- Resolve relative paths in forwarded build, runtest, and exec commands from
  the client's directory instead of the RPC server's directory (ocaml/dune#16267,
  @rgrinberg)

- `(env (env-vars ...))` in a `(context ...)` stanza of `dune-workspace` now
  takes precedence over the root `env` stanza, as documented. This affects
  commands such as `dune exec`; rules already used the documented order.
  (ocaml/dune#16290, @punchagan)

- Fix a crash when an opam filter is not a boolean (ocaml/dune#16313, @art-w)

- Correct module paths for generated interfaces of nested qualified module
  groups. (ocaml/dune#16322, @anmonteiro)

- Resolve ``%{cmi:...}``, ``%{cmt:...}``, and ``%{cmti:...}`` against Melange
  module sets when no OCaml module is selected, while preferring OCaml for
  modules selected in both modes. (ocaml/dune#16339, @anmonteiro)

- Reject `.` and `..` as `melange.emit` targets instead of raising an internal
  error (ocaml/dune#16371, @anmonteiro)

- Validate custom toplevel names as filenames, reporting an error for empty
  names and avoiding crashes for names containing paths (ocaml/dune#16373, @anmonteiro)

- Fix Menhir type inference with package-managed relocatable compilers on macOS
  by making the compiler standard library available in the sandbox (ocaml/dune#16374,
  fixes ocaml/dune#15642, @Alizter, @shonfeder)

- Reject invalid Menhir `merge_into` names during parsing to prevent internal
  errors (ocaml/dune#16387, @anmonteiro)

- Reject conflicting module sources in unqualified directory groups,
  including generated sources, instead of silently discarding one
  (ocaml/dune#16414, @anmonteiro)

- fix copying of directory targets on windows (ocaml/dune#16434, @kentookura)

- Track local module dependencies used by Menhir's type inference so generated
  parsers and dependent modules build and rebuild correctly
  (ocaml/dune#16447, fixes ocaml/dune#14450, @anmonteiro)

- Fix Menhir type inference for qualified module group interfaces while keeping
  dependency lookup in terms of logical module names (ocaml/dune#16464, ocaml/dune#16489, ocaml/dune#16497,
  fixes ocaml/dune#8989, @anmonteiro)

- Fix intermittent crashes on Windows caused by unstable file descriptor
  hashing (ocaml/dune#16476, fixes ocaml/dune#16459, @Alizter)

- Explain that forwarded build requests require a watch-mode Dune server instead
  of reporting an internal RPC error. (ocaml/dune#16486, fixes ocaml/dune#16219, @Alizter)

- `(deps (package ...))` now tracks installed files of lock-built packages
  and their package dependencies, rebuilding actions when they change.
  (ocaml/dune#16507, @Alizter)

- Share Rocq plugin layout dependencies between discovery and compilation
  rules, reducing repeated dependency processing in unchanged builds.
  (ocaml/dune#16622, @Alizter)

- Support directory dependencies in hardlink sandboxes by linking their files
  rather than the directories themselves (ocaml/dune#16675, @Alizter).

- Fix recursive copy actions rejecting symbolic links, including file links
  created by symlink sandboxes (ocaml/dune#16686, @rgrinberg).

- Fix copy sandbox failures caused by overlapping directory and file
  dependencies (ocaml/dune#16806, fixes ocaml/dune#16547, @Alizter)

- Fix Menhir inference producing invalid module paths for types imported from
  other modules (ocaml/dune#16952, @anmonteiro)

### Added

- Add `(dirs ...)` to `(include_subdirs (mode qualified) ...)`, allowing
  qualified source directories to be renamed in the module path, including
  when bootstrapping. Mappings can use variables, including reads from generated
  files outside the qualified group (ocaml/dune#13691, ocaml/dune#16418, ocaml/dune#16420, fixes ocaml/dune#7605,
  @anmonteiro).

- Add opt-in action runners via `--action-runner`, and add
  `--sandbox-actions` to run eligible process-spawning actions in a
  bubblewrap-wrapped worker. (ocaml/dune#14240, @rgrinberg)

- Add platform support for DragonFly BSD (ocaml/dune#14774, fixes same issue with lev
  as seen on NetBSD in ocaml/dune#14484, @mneumann).

- Added command, subcommand, and flag completion in the command line.
  Supported shells are `bash`, `zsh`, and `pwsh`.
  See `dune completion [shell] --help`.
  (ocaml/dune#14779, @ElectreAAS)

- Add ``%{git-sha}`` variable that expands to the short git SHA of the current
  HEAD commit, or the empty string when git is unavailable or the workspace is
  not inside a git repository (ocaml/dune#14810, @toots).

- Add a `?static` optional argumentin `Configurator.V1.Pkg_config.get` to instruct pkg-config to get static linking options. (ocaml/dune#14947, @raphael-proust)

- Only generate Melange rule for multi-mode libraries if `melc` is installed
  (ocaml/dune#15021, @anmonteiro)

- Add `Configurator.V1.Pkg_config.query_variable` to query package variables
  through `pkg-config --variable` (ocaml/dune#15078, fixes ocaml/dune#3332, @rgrinberg).

- Add `env_vars` as an alias for the `env-vars` field in `env` stanzas
  (ocaml/dune#15187, fixes ocaml/dune#11424, @rgrinberg).

- Add `@rocqproject` alias to generate all `_RocqProject files
  (ocaml/dune#15221, @rlepigre-skylabs-ai).

- Tab completion for `dune promote` now lists pending promotion files.
  (ocaml/dune#15338, fixes ocaml/dune#7254, @Alizter).

- Add build time information to watch mode (ocaml/dune#15384, @rgrinberg)

- Added the missing `dune tools exec utop` and `dune tools exec odoc` options.
  (ocaml/dune#15388, @Leonidas-from-XIV)

- Display build parallelism in watch mode. (ocaml/dune#15390, @rgrinberg)

- Add process counts, system cpu, user cpu, and wall clock cpu times to trace
  events (ocaml/dune#15401, @rgrinberg)

- Support `--sandbox-actions` on macOS using sandbox-exec. (ocaml/dune#15500,
  @rgrinberg)

- Add `fish` to the shells supported by `dune completion`, enabling
  command, subcommand, and flag completion in the fish shell (ocaml/dune#15515,
  fixes ocaml/dune#15334, @chizy7)

- Display build duration and average process parallelism in the status line for
  batch builds. (ocaml/dune#15564, @rgrinberg)

- Add a `--split-public-names` flag to `dune describe workspace` and `dune
  describe external-lib-deps`. When enabled, the `name`/`names` fields report
  only private names and a new `public_name`/`public_names` field reports the
  public names. (ocaml/dune#15582, @NatKarmios)

- Add a `--include-empty` flag to `dune describe external-lib-deps` to also
  print libraries that have no internal or external dependencies (ocaml/dune#15585,
  @NatKarmios)

- Support qualified module references in fields such as `per_module` when using
  `(include_subdirs qualified)` (ocaml/dune#15633, fixes ocaml/dune#15578, @anmonteiro)

- Display the current build run at the end of watch-mode status lines.
  (ocaml/dune#15673, @rgrinberg)

- Record per-build Memo compute, restore, and cycle-detection metrics in Dune
  traces. (ocaml/dune#15698, @rgrinberg)

- Record discovered, validated, and failed rule counts in Dune traces.
  (ocaml/dune#15701, @rgrinberg)

- Add `%{melange.emit:...}` to reference a Melange output directory and
  depend on its emitted files (ocaml/dune#15751, @anmonteiro)

- Add `(flags ...)` to the `ocamllex` and `ocamlyacc` stanzas to pass custom
  options to parser generators. (ocaml/dune#15907, @rgrinberg)

- Added an opt-in `sat` trace category emitting a `sat/solve` event with
  the SAT solver's stats (variables, clauses, decisions, conflicts) and
  duration. Enable with `DUNE_TRACE=+sat`. (ocaml/dune#15923, @Alizter)

- Add `dune ocaml inferred-mli` to infer an interface with a module's build
  configuration and register it for promotion. (ocaml/dune#16111, fixes ocaml/dune#12727,
  @rgrinberg)

- Add `--no-actions` and `--only-actions` to `dune trace cat` to filter
  events collected from actions. (ocaml/dune#16245, @rgrinberg)

### Changed

- BREAKING CHANGE: Actions no longer see the shared install staging area
  (`_build/install/<context>/{bin,lib,lib/stublibs}`) on `PATH`, `OCAMLPATH` and
  `CAML_LD_LIBRARY_PATH`. An action's environment only contains the packages it
  declares with `(deps (package <pkg>))` (and their library closure, see below).
  Actions that rely on packages being visible (such as tests that `#require` the
  package under test from an mdx block, steps that run `ocamlfind`, a nested `dune`
  build, or load a bytecode stub library) must now declare the package
  dependency explicitly.
  (ocaml/dune#14373, ocaml/dune#16617, @Alizter)
- `(package <pkg>)` now also includes the packages owning the library closures
  of libraries in workspace and installed packages. Installed packages reached
  through those closures also work with Dune language versions older than 2.9.
  (ocaml/dune#14373, ocaml/dune#16362, ocaml/dune#16529, @Alizter, @anmonteiro)

- Extract the structural-hash accumulator into a new `Stdune.Hash`
  module and route `Stdune.Tuple.T2.hash`, `Stdune.Tuple.T3.hash`,
  `Stdune.List.hash`, `Stdune.Result.hash`, and `Resolve.error_hash`
  through it. Hashing these structural shapes no longer allocates per
  call.
  (ocaml/dune#14542, @robinbb)

- Remove `(using melange 0.1)` in Dune 3.25 in favor of version 1.0 of the
  extension. (ocaml/dune#14574, @anmonteiro)

- `$ dune rpc build` invocations no longer queue. All build requests are built
  in parallel. Watch servers started by `$ dune exec --watch` can now also
  handle forwarded build and runtest requests (ocaml/dune#14954, @rgrinberg)

- Report rule build progress as the number of rules built against the total
  number of live rules, rather than rules executed against rules discovered
  during the current run. This affects both the status line and the progress
  reported over RPC. (ocaml/dune#14985, @snowleopard, @pWhite)

- With `--error-reporting=twice`, print an `==== Error Summary ====` separator
  before the deterministic list of errors reported at the end of the build. The
  separator is omitted when there are no errors to report.
  (ocaml/dune#15016, fixes ocaml/dune#14757, @yussypu)

- Enable fuzzy patch application by default for Dune. This is similar to OPAM's
  behaviour, and this makes it easier for packages like OxCaml to build.
  (ocaml/dune#15146, fixes ocaml/dune#15145, @Sudha247)

- Odoc rules are now sandboxed (ocaml/dune#15190, @rgrinberg)

- In watch mode, `$ dune rpc build` requests now complete as soon as their
  requested build finishes, instead of waiting for unrelated concurrent RPC build
  requests in the same build iteration. (ocaml/dune#15191, fixes ocaml/dune#13788, @rgrinberg)

- Cleanup all build processes spawned by dune before starting a fresh build on
  Linux. (ocaml/dune#15239, ocaml/dune#15274, @rgrinberg)

- Show partial output timed out cram tests (ocaml/dune#15269, @rgrinberg)

- In watch mode, `$ dune rpc build` now exits with status 1 when the
  requested build fails. (ocaml/dune#15341, @rgrinberg)

- Debounce file change events in watch mode (ocaml/dune#15344, @rgrinberg)

- Align dune's C compiler vendor detection with the OCaml compiler's own
  identifiers (`msvc`, `icc`, `mingw`, `clang`, `gcc`, `xlc`, `sunc`), so more C
  compilers are recognized without emitting a spurious warning. (ocaml/dune#15423,
  fixes ocaml/dune#14870, @chizy7)

- Never use `$ lsof` for counting file descriptors, as it is not allowed
  to reap processes outside of the scheduler. We have better mechanisms
  on MacOS and Linux for counting file descriptors. So this is only an
  issue on other Unices. (ocaml/dune#15477, @rgrinberg)

- `dune describe workspace` now reports an `origin` field for every module,
  indicating whether its source was written by hand (`source`), generated by a
  `rule` stanza (`dune`, with the generating dune file), produced by `ocamllex`,
  `ocamlyacc`, or `menhir`, or synthesised by dune itself for wrapping
  (`wrapper`). Generated modules point at the responsible file. The
  `--with-origin-deps` and `--with-origin-deps-expanded` flags additionally
  report the dependencies of a `rule`-generated module, as declared and expanded
  to concrete files respectively.
  (ocaml/dune#15478, @nat-karmios)

- Numbers with unit now allow dropping the unit if the number is zero ("0").
  For example, `dune cache trim --trimmed-size 0` and `dune cache trim
  --trimmed-size 0TiB` are now both accepted and equivalent. (ocaml/dune#15498, @reynir)

- Run artifact substitution in background workers. (ocaml/dune#15559, @anmonteiro)

- `dune describe` now reports the public name of an executable (from
  `public_name`/`public_names`) instead of its private name when one is
  available, falling back to the private name otherwise. (ocaml/dune#15582, @NatKarmios)

- Calculate status-line build parallelism from process CPU time rather than
  wall-clock action time; Windows continues to use wall-clock time.
  (ocaml/dune#15685, @rgrinberg)

- Use sha256 instead of md5 for source archives that lack a checksum
  (ocaml/dune#15824, @shunueda)

- Starting with Dune language 3.25, restrict sandboxed actions on Linux
  systems with Landlock ABI 3 or newer from writing outside their sandbox,
  temporary directory, action-trace directory, and `/dev`. Set
  `DUNE_CONFIG__LANDLOCK=disabled` to opt out. (ocaml/dune#15858, @rgrinberg)

- `dune pkg lock` now fails without writing a lock directory when any platform
  requested by `solve_for_platforms` cannot be solved, instead of producing a
  partial lock directory containing only the successful platforms. (ocaml/dune#15981,
  @Alizter)

- Portable lock directories now select one package version across all requested
  platforms, and fail when no common version exists. (ocaml/dune#15982, fixes ocaml/dune#13645,
  fixes ocaml/dune#13647, @Alizter)

- **BREAKING CHANGE:** Reject `:` in context names so they remain portable path
  components (ocaml/dune#16085, @rgrinberg)

- Keep `.t` suffixes in cram test names, including aliases and `applies_to`,
  starting with Dune language 3.25 (ocaml/dune#16146, @rgrinberg)

- Sandbox `ocaml-mdx dune-gen` when using MDX extension 0.6, available from
  Dune 3.25. (ocaml/dune#16177, @rgrinberg)

- Sandbox `pkg-config` queries starting with Dune language 3.25 so they cannot
  observe undeclared workspace inputs. (ocaml/dune#16178, @rgrinberg)

- Remove the experimental OCamlFDO integration, including the `(fdo ...)`
  workspace field (ocaml/dune#16198, @rgrinberg)

- BREAKING CHANGE: Generated files are now read-only even with Dune language
  versions before 2.4, regardless of whether the shared cache is enabled.
  Executable permissions are preserved. (ocaml/dune#16388, @rgrinberg)

- Make newly written shared-cache metadata files read-only to guard against
  accidental modification. (ocaml/dune#16393, @rgrinberg)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rgrinberg rgrinberg rgrinberg approved these changes

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

3.25.0

Development

Successfully merging this pull request may close these issues.

In the future release, deps does not load package dependencies transitively

Uh oh!

There was an error while loading. Please reload this page.

2 participants

@Alizter @rgrinberg
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.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.