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

[Ian MacLarty]

On Wed, Sep 13, 2006 at 11:45:19PM +1000, Julien Fischer wrote:
> 
> 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.
> 

Oops, wrong mailing list.  I've posted the diff to mercury-reviews and
committed it.

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