mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-14 05:12:33 +00:00
7de0228bcc
Estimated hours taken: 1.5 Branches: main Fix the code to add extra initialization functions to library/mer_std.init. compiler/options.m: doc/user_guide.texi: compiler/compile_target_code.m: Rename the `--make-init-file-command' as `--extra-init-command'. This should now only generated the extra entries in the `.init' file, not the whole file. scripts/Mmake.vars.in: compiler/modules.m: Allow $(EXTRA_INIT_COMMAND) as the Mmake equivalent of `--extra-init-command'. Append the output of $(EXTRA_INIT_COMMAND) to the `.init' file. library/Mmakefile: Set EXTRA_INIT_COMMAND rather than overriding the libmer_std.init rule.