Next: , Previous: , Up: Invocation   [Contents][Index]


9.3 Verbosity options

-v
--verbose

Output progress messages at each stage in the compilation.


-V
--very-verbose

Output very verbose progress messages.


-E
--verbose-error-messages

Explain error messages. Asks the compiler to give you a more detailed explanation of any errors it finds in your program.


--no-verbose-make

Disable messages about the progress of builds using the ‘--make’ option.


--verbose-commands

Output each external command before it is run. Note that some commands will only be printed with ‘--verbose’.


--verbose-recompilation

When using ‘--smart-recompilation’, output messages explaining why a module needs to be recompiled.


--find-all-recompilation-reasons

Find all the reasons why a module needs to be recompiled, not just the first. Implies ‘--verbose-recompilation’.


--output-compile-error-lines n

With ‘--make’, output the first n lines of the ‘.err’ file after compiling a module (default: 15).


--report-cmd-line-args

Report the command line arguments.


--report-cmd-line-args-in-doterr

Report the command line arguments for compilations whose output mmake normally redirects to a .err file.


-S
--statistics

Output messages about the compiler’s time/space usage. At the moment this option implies ‘--no-trad-passes’, so you get information at the boundaries between phases of the compiler.


--proc-size-statistics filename

Append information about the size of each procedure in the module in terms of goals and variables to the end of the named file.


-N
--debug-modes

Output debugging traces of the mode checking.


--debug-modes-verbose

Output detailed debugging traces of the mode checking.


--debug-modes-pred-id predid

With ‘--debug-modes’, restrict the debugging traces to the mode checking of the predicate or function with the specified pred id.


--debug-det
--debug-determinism

Output detailed debugging traces of determinism analysis.


--debug-opt

Output detailed debugging traces of the optimization process.


--debug-opt-pred-id predid

Output detailed debugging traces of the optimization process only for the predicate/function with the specified pred id. May be given more than once.


--debug-opt-pred-name name

Output detailed debugging traces of the optimization process only for the predicate/function with the specified name. May be given more than once.


--debug-pd

Output detailed debugging traces of the partial deduction and deforestation process.


--debug-liveness <n>

Output detailed debugging traces of the liveness analysis of the predicate with the given predicate id.


--debug-make

Output detailed debugging traces of the ‘–make’ option.


--debug-intermodule-analysis

Output detailed debugging traces of the ‘–intermodule-analysis’ option.


--debug-indirect-reuse

Output detailed debugging traces of the indirect reuse pass of ‘–structure-reuse’ option.


--debug-type-rep

Output debugging traces of type representation choices.


Next: , Previous: , Up: Invocation   [Contents][Index]