Module Ocaml_utils.Build_path_prefix_mapSource

Rewrite paths for reproducible builds

Warning: this module is unstable and part of compiler-libs.

See the BUILD_PATH_PREFIX_MAP spec

Sourcetype path = string
Sourcetype path_prefix = string
Sourcetype error_message = string
Sourceval encode_prefix : path_prefix -> string
Sourceval decode_prefix : string -> (path_prefix, error_message) result
Sourcetype pair = {
  1. target : path_prefix;
  2. source : path_prefix;
}
Sourceval encode_pair : pair -> string
Sourceval decode_pair : string -> (pair, error_message) result
Sourcetype map = pair option list
Sourceval encode_map : map -> string
Sourceval decode_map : string -> (map, error_message) result
Sourceval rewrite_first : map -> path -> path option

rewrite_first map path tries to find a source in map that is a prefix of the input path. If it succeeds, it replaces this prefix with the corresponding target. If it fails, it just returns None.

Sourceval rewrite_all : map -> path -> path list

rewrite_all map path finds all sources in map that are a prefix of the input path. For each matching source, in priority order, it replaces this prefix with the corresponding target and adds the result to the returned list. If there are no matches, it just returns [].

Sourceval rewrite : map -> path -> path

rewrite path uses rewrite_first to try to find a mapping for path. If found, it returns that, otherwise it just returns path.