Next: Options for controlling mmc --make, Previous: Options that control program analyses, Up: Invocation [Contents][Index]
-n
--line-numbers
Put source line numbers into the generated code. The generated code may be in C, Java or C# (the usual cases), or in Mercury (with ‘--convert-to-mercury’).
--no-line-numbers-around-foreign-code
Do not put source line numbers into the generated target language file around inclusions of foreign language code.
--line-numbers-for-c-headers
Put source line numbers in the generated C header files. This can make
it easier to track down any problems with C code in foreign_decl
pragmas, but may cause unnecessary recompilations of other modules if
any of these line numbers changes (e.g. because the location of a
predicate declaration changes in the Mercury source file).
--auto-comments
Output comments in the generated target language file. This is primarily useful for trying to understand how the generated target language code relates to the source code, e.g. in order to debug the compiler. (The code may be easier to understand if you also use the ‘--no-llds-optimize’ option.)