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

[Ian MacLarty]

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.
+<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>
 Comments? Mail <a href = "mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>,
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------