Path rewriting for `setenv:` and `build-env:`#5636

Merged

kit-ty-kate merged 14 commits intoocaml:masterfrom rjbou:setenv-slash

Nov 13, 2023

+2,498-241

Commits on Nov 13, 2023

file: fix x-locked error message
rjbou
committed
types: use a record for env_updates instead of a 4-uple
rjbou
committed
env update: add a rewrite field.
rjbou
committed
format: fix Pp.fallback on printing function, and add fallback name '<pp1 | pp2>'
rjbou
committed
format: add 'formula_items', a generic version of 'package_formula_items'
rjbou
committed
typesbase: add to_string functions for separator and path-format
rjbou
committed
format: add value separator and path_format parser-printer
rjbou
committed
file: add opamfile x-env-path-rewrite field handling that specifies rewriting rules for variables defined in setenv and build-env.
rjbou
committed
file: environment files now store rewriting rules.
rjbou
committed
system: cygpath_path_transform option to chosse if path list of no
rjbou
committed
env: use defined rewriting rules (opam file, environment file, default per variable) to compute environment updates
rjbou
committed
file: add 'x-env-path-rewrite' to opam file effective part
rjbou
committed
reftest: add 'env.unix' & 'env.win32' to test environment variables rewriting rules
rjbou
committed
doc: add 'x-env-path-rewrite' documentation
rjbou
committed