[m-rev.] for review: document how to debug the declarative debugger

[Julien Fischer]

On Wed, 15 Jun 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 0.5
> Branches: main
>
> Document how to turn on tracing for the declarative debugger in the developer
> introduction on the web site.
>
> information/developers/developer_intro.html:
> 	Document how to turn on tracing for the declarative debugger.
>
> Index: information/developers/developer_intro.html
> ===================================================================
> RCS file: /home/mercury1/repository/w3/information/developers/developer_intro.html,v
> retrieving revision 1.3
> diff -u -r1.3 developer_intro.html
> --- information/developers/developer_intro.html	4 Nov 2002 13:12:30 -0000	1.3
> +++ information/developers/developer_intro.html	14 Jun 2005 02:18:55 -0000
> @@ -187,6 +187,30 @@
>  and the tests pass, it then goes ahead and commits the patch.
>
>  <p>
> +
> +<h2>Debugging the declarative debugger</h2>
> +
> +The browser directory contains the source code for the declarative debugger
> +as well as the features of the procedural debugger implemented in Mercury.
> +<p>
> +By default this directory is compiled with no tracing enabled, even
> +when a .debug or .decldebug grade is specified.
You might want to briefly mention what the reason for this is.

> +<p>
> +In order to debug the code in the browser directory add the following line
> +to your Mmake.browser.params file in the browser directory:
> +<pre>
> +EXTRA_MCFLAGS=--no-force-disable-tracing
> +</pre>
> +<p>
> +The `dd_dd' command can then be used from mdb to start the declarative debugger
> +with interactive debugging turned on.
> +<p>
> +Since tracing turns off the tail recursion optimisation, you may also need
> +to increase the size of the stack by setting the --detstack-size runtime
> +option:
> +<pre>
> +export MERCURY_OPTIONS="--detstack-size 8128"
> +</pre>
>  <hr>
>  <p>

That looks fine otherwise.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------