[m-dev.] for review: fix problem with mtc output filename

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Sep 13 23:45:19 AEST 2006

On Wed, 13 Sep 2006, Ian MacLarty wrote:

> 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.

That looks fine, however your change to the users' guide will now need
to mention that the name of the trace counts file can be specified by
the user.

mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list