Skip to content

Move the (include_subdirs qualified) check to a single place#12590

Merged
rgrinberg merged 2 commits intomainfrom
push-ooqwstktruut
Oct 18, 2025
Merged

Move the (include_subdirs qualified) check to a single place#12590
rgrinberg merged 2 commits intomainfrom
push-ooqwstktruut

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@rgrinberg rgrinberg merged commit b29f986 into main Oct 18, 2025
26 checks passed
@rgrinberg rgrinberg deleted the push-ooqwstktruut branch October 18, 2025 10:59
davesnx added a commit to davesnx/dune that referenced this pull request Oct 22, 2025
…without-system

* 'main' of github.com:/ocaml/dune: (33 commits)
  Fix difference between bootstrap & dune behaviour w.r.t include-subdirs ambiguity (ocaml#12607)
  Revert "Fix difference between bootstrap & dune behaviour w.r.t include-subdirs ambiguity"
  fix(include-subdirs-qualified): prefer closer module of the same name
  Add 2 tests showing difference between bootstrap & dune w.r.t include-subdirs
  dune init: use source path (ocaml#12601)
  chore(deps): bump actions/setup-node from 5 to 6
  test(melange): show melange compilation isn't part of `@all` alias (ocaml#12603)
  Disable flaky test (ocaml#12600)
  Rename path to dir in dune_init (ocaml#12599)
  Dune project: remove dead code (ocaml#12598)
  Dune_project refactor (ocaml#12597)
  doc(melange): reference `dirs` stanza (ocaml#12596)
  Stanza simplifications (ocaml#12595)
  Reduce stanza definition boilerplate (ocaml#12592)
  Rename Stanza_common to Stanza_pkg (ocaml#12593)
  Remove copied code between library and library_parameter stanzas (ocaml#12594)
  Split modules settings (ocaml#12591)
  Move the (include_subdirs qualified) check to a single place (ocaml#12590)
  refactor: simplify loc/ocamllex/ocamlyacc stanza handling (ocaml#12589)
  pkg: Implement a package search command
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant