9.4 Output options

These options are mutually exclusive. If more than one of these options is specified, only the first in this list will apply. If none of these options are specified, the default action is to compile and link the modules named on the command line to produce an executable.

-f

--generate-source-file-mapping

Output the module name to file name mapping for the list of source files given as non-option arguments to ‘mmc’ to Mercury.modules. This must be done before ‘mmc --generate-dependencies’ if there are any modules for which the file name does not match the module name. If there are no such modules the mapping need not be generated.

-M

--generate-dependencies

Output “Make”-style dependencies for the module and all of its dependencies to module.dep, module.dv and the relevant ‘.d’ files.

--generate-dependency-file

Output ‘Make’-style dependencies for the module to module.d’.

--generate-module-order

Output the strongly connected components of the module dependency graph in top-down order to module.order. Effective only if ‘--generate-dependencies’ is also specified.

--generate-standalone-interface basename

Output a stand-alone interface. basename is used as the basename of any files generated for the stand-alone interface. (See see Stand-alone Interfaces for further details.)

--generate-mmc-deps

--generate-mmc-make-module-dependencies

Generate dependencies for use by ‘mmc --make’ even when using Mmake. This is recommended when building a library for installation.

-i

--make-int

--make-interface

Write the module interface to module.int. Also write the short interface to module.int2.

--make-short-int

--make-short-interface

Write the unqualified version of the short interface to module.int3.

--make-priv-int

--make-private-interface

Write the module’s private interface (used for compiling nested sub-modules) to module.int0.

--make-opt-int

--make-optimization-interface

Write information used for inter-module optimization to module.opt.

--make-trans-opt

--make-transitive-optimization-interface

Write the module.trans_opt file. This file is used to store information used for inter-module optimization. The information is read in when the compiler is invoked with the ‘--transitive-intermodule-optimization’ option. The file is called the “transitive” optimization interface file because a ‘.trans_opt’ file may depend on other ‘.trans_opt’ and ‘.opt’ files. In contrast, a ‘.opt’ file can only hold information derived directly from the corresponding ‘.m’ file.

--make-xml-documentation

Output an XML representation of all the declarations in the module into the file module.xml. This XML file can then be transformed via a XSL transform into another documentation format.

-P

--pretty-print

--convert-to-mercury

Convert to Mercury. Output to file module.ugly. This option acts as a Mercury ugly-printer. (It would be a pretty-printer, except that comments are stripped and nested if-then-elses are indented too much — so the result is rather ugly.)

--typecheck-only

Just check the syntax and type-correctness of the code. Don’t invoke the mode analysis and later passes of the compiler. When converting Prolog code to Mercury, it can sometimes be useful to get the types right first and worry about modes second; this option supports that approach.

-e

--errorcheck-only

Check the module for errors, but do not generate any code.

-C

--target-code-only

Generate target code (i.e. C in module.c, C# in module.cs, Java in module.java or Erlang in module.erl), but not object code.

-c

--compile-only

Generate C code in module.c and object code in module.o but do not attempt to link the named modules.

--output-grade-string

Compute from the rest of the option settings the canonical grade string and print it on the standard output.

--output-link-command

Print the command used to link executables to the standard output.

--output-shared-lib-link-command

Print the command used to link shared libraries to the standard output.

--output-libgrades

Print the list of compilation grades in which a library to be installed should be built to the standard output.

--output-cc

Print the command used to invoke the C compiler to the standard output.

--output-cc-type

--output-c-compiler-type

Print the C compiler type to the standard output.

--output-cflags

Print the flags with which the C compiler will be invoked to the standard output.

--output-csharp-compiler

Print the command used to invoke the C# compiler to the standard output.

--output-csharp-compiler-type

Print the C# compiler type to the standard output.

--output-library-link-flags

Print the flags that are passed to the linker in order to link against the current set of libraries. This includes the standard library as well as any other libraries specified via the ‘--ml’ option. The flags are printed to the standard output.

--output-grade-defines

Print the flags that are passed to the C compiler to define the macros used to specify the compilation grade. The flags are printed to the standard output.

--output-c-include-dir-flags

--output-c-include-directory-flags

Print the flags that are passed to the C compiler to specify which directories to search for C header files. This includes the C header files from the standard library. The flags are printed to the standard output.

--output-target-arch

Print the target architecture to the standard output.

--output-class-dir

--output-class-directory

Print to standard output the name of the directory in which generated Java class files will be placed.