man mdb (Commandes) - .SH "NAME "
NAME
mdb - .SH "NAME "
VERSION
NAME
mdb - Mercury debugger
SYNOPSIS
mdb [<options>] <executable> [<args>]...
DESCRIPTION
`mdb' invokes the specified command `<executable> <args>...' with Mercury debugging enabled. If that command is a Mercury program that was compiled with debugging enabled (e.g. using the `--debug' option), or if that command invokes such a program, then mdb will cause the program to be executed under the supervision of the Mercury internal debugger. Otherwise, mdb will execute the command line as if the mdb prefix weren't there.
By default, all the output of the debugger and the output of the program being debugged will be interleaved on the same terminal window. This can be avoided using the `--tty' or `--window' options described below.
NOTES
mdb is one of the development tools that are part of the Mercury distribution.
This manual page is limited to a brief summary. For further information see the Mercury User's Guide.
-t <file-name>, --tty <file-name>
Redirect all of the I/O for the debugger to the device specified by <file-name>. The I/O for the program being debugged will not be redirected.
-w, --window, --mdb-in-window
Run mdb in a new window, with mdb's I/O going to that window, but with the program's I/O going to the current terminal. Note that this will not work on all systems.
--program-in-window
Run the program in a new window, with the program's I/O going to that window, but with mdb's I/O going to the current terminal. Note that input and output redirection will not work with the `--program-in-window' option. `--program-in-window' will work on most UNIX systems running the X Window System, even those for which `--mdb-in-window' is not supported.
-c <window-command>, --window-command <window-command>
Specify the command used by the `--program-in-window' option for executing a command in a new window. The default such command is `xterm -e'.
OPTIONS
ENVIRONMENT VARIABLES
MERCURY_OPTIONS, MERCURY_DEBUGGER_INIT.
AUTHORS
The Mercury team.
See <http://www.cs.mu.oz.au/mercury/contact/people.html>.
COPYRIGHT
This program and its documentation are copyright by the University of Melbourne. They may be copied only under the terms of the GNU General Public License - see the file COPYING in the Mercury distribution.
SEE ALSO
<http://www.cs.mu.oz.au/mercury/information/documentation.html>
The Mercury User's Guide.
The GNU General Public License.