diff options
Diffstat (limited to 'dune')
| -rw-r--r-- | dune | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -0,0 +1,24 @@ +; Makes data/ef/*.sexp part of the DEFAULT build target (`dune build`, no +; args), not only whatever individual stanzas elsewhere happen to declare as +; their own deps. Without this, `rm -rf _build && dune build && dune exec +; colitur -- day 2026` failed: bare `dune build` resolves to the workspace +; root's own `default` alias, which -- absent this file -- is implicitly +; bound to `@install` alone and never reaches data/ef/dune's own `default` +; alias (that alias only participates in an EXPLICIT `@default`/`@dir` +; recursive request, e.g. `dune build @default`, not in the plain no-target +; invocation; verified empirically -- see the task report). `test/dune`'s +; cram stanza masked this: it declares its own (deps ../data/ef/*.sexp), +; which materialises them as a side effect of `dune build @runtest`, so the +; test suite could not have caught this on its own -- it took a genuinely +; clean rebuild to surface it. +; +; (alias_rec install) keeps whatever `default` would otherwise resolve to +; (the package's own install artifacts -- executables, libraries, reached +; recursively through every subdirectory's own `install` alias) so this +; ADDS a requirement rather than replacing dune's own default behaviour. +(alias + (name default) + (deps + (alias_rec install) + data/ef/sanctoral.sexp + data/ef/adjustments.sexp)) |