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

[Julien Fischer]

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.

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