mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-12 20:34:19 +00:00
21c2d2c338
Estimated hours taken: 1 Branches: main, 0.13 Fix a problem with the automatically generated trace counts file name. The filename contained the name of the invoked program with "/" replaced by ":". Using ":" is a problem on Windows because it is not allowed in windows filenames. Instead we now use "_". Allow the user to specify their own trace counts file name with an extra option to mtc. runtime/mercury_trace_base.c: When dumping trace counts, first check if the user gave a filename to be used and if they did use that, otherwise generate a filename, but use "_" instead of ":". runtime/mercury_trace_base.h: Add MR_trace_counts_file for recording a user defined trace counts file name. runtime/mercury_wrapper.c: Process the --tc-output-file MERCURY_OPTIONS option that allows the user to give their own trace counts file name. scripts/mtc: Add an -o option to allow the user to give their own file name. Also add a --help option. tests/debugger/declarative/Mmakefile: Make the dice test use the --tc-output-file option.