Skip to content

Shorten --build-config output#2247

Open
vouillon wants to merge 1 commit into
masterfrom
build-info-compact
Open

Shorten --build-config output#2247
vouillon wants to merge 1 commit into
masterfrom
build-info-compact

Conversation

@vouillon
Copy link
Copy Markdown
Member

Use a compact encoding for the --build-config output: a key at its default is omitted; all other keys still emit name=value. Restructure set_values to iterate over the known keys rather than the input entries, so that an omitted bool is reset to its default (instead of silently keeping whatever value the caller left it at) and a missing enum is reported as an error.

For the typical wasm builds this reduces e.g.

  effects=jspi+toplevel=false+use-js-string=true  (45 chars)

to

  effects=jspi                                    (12 chars),

which keeps the build-config directory that dune derives from this output well within Windows' MAX_PATH limit.

@vouillon vouillon requested a review from hhugo May 22, 2026 16:15
@vouillon vouillon force-pushed the build-info-compact branch from 23e9ade to eba3b3b Compare May 22, 2026 16:18
Use a compact encoding for the [--build-config] output: a key at its
default is omitted; all other keys still emit [name=value]. Restructure
[set_values] to iterate over the known keys rather than the input
entries, so that an omitted bool is reset to its default (instead of
silently keeping whatever value the caller left it at) and a missing
enum is reported as an error.

For the typical wasm builds this reduces e.g.
  effects=jspi+toplevel=false+use-js-string=true  (45 chars)
to
  effects=jspi                                    (12 chars),
which keeps the build-config directory that dune derives from this
output well within Windows' MAX_PATH limit.
@vouillon vouillon force-pushed the build-info-compact branch from eba3b3b to 985ea75 Compare May 22, 2026 17:12
@hhugo
Copy link
Copy Markdown
Member

hhugo commented May 23, 2026

What about using a more cryptic but compact encoing that would reduce the path size of all configs, event non default ones ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants