Next: Options for controlling mmc --make, Previous: Program analyses, Up: Invocation [Contents][Index]
-n--line-numbersPut 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-codeDo not put source line numbers into the generated target language file around inclusions of foreign language code.
--line-numbers-for-c-headersPut 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-commentsOutput 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.)