| Index Entry | | Section |
|
| - | | |
| --allow-stubs: | | Language semantics options |
| --analyse-exceptions: | | High-level (HLDS -> HLDS) optimization options |
| --analyse-mm-tabling: | | High-level (HLDS -> HLDS) optimization options |
| --analyse-trail-usage: | | High-level (HLDS -> HLDS) optimization options |
| --analysis-repeat: | | Overall optimization options |
| --asm-labels: | | Grades and grade components |
| --asm-labels: | | LLDS back-end compilation model options |
| --auto-comments: | | Auxiliary output options |
| --benchmark-modes: | | Auxiliary output options |
| --benchmark-modes-repeat num: | | Auxiliary output options |
| --binary-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --boehm-gc-calc-time (runtime option): | | Environment |
| --boehm-gc-free-space-divisor (runtime option): | | Environment |
| --c-debug: | | Target code compilation options |
| --c-debug: | | Target code compilation options |
| --c-include-dir: | | Target code compilation options |
| --c-include-directory: | | Target code compilation options |
| --cc: | | Target code compilation options |
| --cc: | | C compilers |
| --cflag: | | Target code compilation options |
| --cflags: | | Target code compilation options |
| --check-term: | | Termination analysis options |
| --check-termination: | | Termination analysis options |
| --checked-nondet-tailcalls: | | Low-level (LLDS -> LLDS) optimization options |
| --chk-term: | | Termination analysis options |
| --cil-interpreter: | | Target code compilation options |
| --common-data: | | Low-level (LLDS -> LLDS) optimization options |
| --common-layout-data: | | Low-level (LLDS -> LLDS) optimization options |
| --common-struct: | | High-level (HLDS -> HLDS) optimization options |
| --compile-only: | | Output options |
| --compile-to-c: | | Target options |
| --config-file: | | Build system options |
| --constraint-propagation: | | High-level (HLDS -> HLDS) optimization options |
| --control-granularity: | | Miscellaneous options |
| --convert-to-mercury: | | Output options |
| --coverage-test (runtime option): | | Environment |
| --coverage-test-if-exec (runtime option): | | Environment |
| --csharp: | | Grades and grade components |
| --csharp-compiler: | | Target code compilation options |
| --csharp-flag: | | Target code compilation options |
| --csharp-flags: | | Target code compilation options |
| --csharp-only: | | Target options |
| --cstack-reserve-size: | | Link options |
| --cutstack-size (runtime option): | | Environment |
| --cutstack-size-kwords (runtime option): | | Environment |
| --debug: | | Quick overview |
| --debug: | | Optional features compilation model options |
| --debug-det: | | Verbosity options |
| --debug-determinism: | | Verbosity options |
| --debug-indirect-reuse: | | Verbosity options |
| --debug-intermodule-analysis: | | Verbosity options |
| --debug-liveness: | | Verbosity options |
| --debug-make: | | Verbosity options |
| --debug-modes: | | Verbosity options |
| --debug-modes-pred-id: | | Verbosity options |
| --debug-modes-verbose: | | Verbosity options |
| --debug-opt: | | Verbosity options |
| --debug-opt-pred-id: | | Verbosity options |
| --debug-opt-pred-name: | | Verbosity options |
| --debug-pd: | | Verbosity options |
| --debug-threads (runtime option): | | Environment |
| --debug-type-rep: | | Verbosity options |
| --decl-debug: | | Optional features compilation model options |
| --deep-profiling: | | Grades and grade components |
| --deep-profiling: | | Optional features compilation model options |
| --deforestation: | | High-level (HLDS -> HLDS) optimization options |
| --deforestation-depth-limit: | | High-level (HLDS -> HLDS) optimization options |
| --deforestation-size-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --deforestation-vars-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --delay-constructs: | | High-level (HLDS -> HLDS) optimization options |
| --delay-death: | | Auxiliary output options |
| --delay-death-max-vars: | | Auxiliary output options |
| --demangle: | | Using mprof for time profiling |
| --dense-switch-req-density: | | Medium-level (HLDS -> LLDS) optimization options |
| --dense-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --detstack-size: | | Running |
| --detstack-size (runtime option): | | Environment |
| --detstack-size-kwords (runtime option): | | Environment |
| --distance-granularity: | | Miscellaneous options |
| --dump-hlds: | | Auxiliary output options |
| --dump-hlds-file-suffix: | | Auxiliary output options |
| --dump-hlds-inst-limit: | | Auxiliary output options |
| --dump-hlds-options: | | Auxiliary output options |
| --dump-hlds-pred-id: | | Auxiliary output options |
| --dump-hlds-pred-name: | | Auxiliary output options |
| --dump-mlds: | | Auxiliary output options |
| --dump-mlds-pred-name: | | Auxiliary output options |
| --dump-same-hlds: | | Auxiliary output options |
| --eliminate-local-variables: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --enable-term: | | Termination analysis options |
| --enable-termination: | | Termination analysis options |
| --env-type: | | Build system options |
| --errorcheck-only: | | Output options |
| --excess-assign: | | High-level (HLDS -> HLDS) optimization options |
| --experimental-complexity: | | Optional features compilation model options |
| --extra-init-command: | | Build system options |
| --extra-initialization-functions: | | Link options |
| --extra-inits: | | Link options |
| --extra-lib-header: | | Build system options |
| --extra-library-header: | | Build system options |
| --fact-table-hash-percent-full: | | Code generation options |
| --fact-table-max-array-size size: | | Code generation options |
| --feedback-file: | | Miscellaneous options |
| --filenames-from-stdin: | | Miscellaneous options |
| --find-all-recompilation-reasons: | | Verbosity options |
| --flags: | | Build system options |
| --flags-file: | | Build system options |
| --follow-code: | | High-level (HLDS -> HLDS) optimization options |
| --fp-rounding-mode (runtime option): | | Environment |
| --framework: | | Link options |
| --framework-directory: | | Link options |
| --garbage-collection: | | Optional features compilation model options |
| --gc: | | Grades and grade components |
| --gc: | | Optional features compilation model options |
| --gcc-global-registers: | | Grades and grade components |
| --gcc-global-registers: | | LLDS back-end compilation model options |
| --gcc-non-local-gotos: | | LLDS back-end compilation model options |
| --gcc-nonlocal-gotos: | | Grades and grade components |
| --generate-bytecode: | | Auxiliary output options |
| --generate-dependencies: | | Output options |
| --generate-dependency-file: | | Output options |
| --generate-mmc-deps: | | Output options |
| --generate-mmc-make-module-dependencies: | | Output options |
| --generate-module-order: | | Output options |
| --generate-source-file-mapping: | | Output options |
| --generate-standalone-interface basename: | | Output options |
| --generate-trail-ops-inline: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --genstack-size (runtime option): | | Environment |
| --genstack-size-kwords (runtime option): | | Environment |
| --grade: | | Grades and grade components |
| --halt-at-syntax-error: | | Warning options |
| --halt-at-warn: | | Warning options |
| --halt-at-warn-make-int: | | Warning options |
| --halt-at-warn-make-interface: | | Warning options |
| --halt-at-warn-make-opt: | | Warning options |
| --have-delay-slot: | | Code generation target options |
| --heap-size (runtime option): | | Environment |
| --heap-size-kwords (runtime option): | | Environment |
| --help: | | Invocation |
| --help: | | Miscellaneous options |
| --high-level-code: | | Using mprof for time profiling |
| --high-level-code: | | Grades and grade components |
| --high-level-code: | | MLDS back-end compilation model options |
| --higher-order-arg-limit: | | High-level (HLDS -> HLDS) optimization options |
| --higher-order-size-limit: | | High-level (HLDS -> HLDS) optimization options |
| --host-env-type: | | Build system options |
| --implicit-parallelism: | | Miscellaneous options |
| --imports-graph: | | Auxiliary output options |
| --infer-all: | | Language semantics options |
| --infer-det: | | Language semantics options |
| --infer-determinism: | | Language semantics options |
| --infer-modes: | | Language semantics options |
| --infer-types: | | Language semantics options |
| --inform-incomplete-switch: | | Warning options |
| --inform-incomplete-switch-threshold: | | Warning options |
| --inform-suboptimal-packing: | | Warning options |
| --inhibit-style-warnings: | | Warning options |
| --inhibit-warnings: | | Warning options |
| --init-file: | | Using non-installed libraries with mmc --make |
| --init-file: | | Link options |
| --init-file-directory: | | Link options |
| --inline-alloc: | | Target code compilation options |
| --inline-compound-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --inline-linear-tail-rec-sccs: | | High-level (HLDS -> HLDS) optimization options |
| --inline-simple: | | High-level (HLDS -> HLDS) optimization options |
| --inline-simple-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --inline-single-use: | | High-level (HLDS -> HLDS) optimization options |
| --inline-vars-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --inlining: | | High-level (HLDS -> HLDS) optimization options |
| --install-command: | | Build system options |
| --install-command-dir-command: | | Build system options |
| --install-prefix: | | Build system options |
| --intermod-directory: | | Build system options |
| --intermod-inline-simple-threshold: | | High-level (HLDS -> HLDS) optimization options |
| --intermod-opt: | | Overall optimization options |
| --intermod-unused-args: | | High-level (HLDS -> HLDS) optimization options |
| --intermodule-analysis: | | Overall optimization options |
| --intermodule-optimization: | | Building libraries with Mmake |
| --intermodule-optimization: | | Using libraries with Mmake |
| --intermodule-optimization: | | Overall optimization options |
| --introduce-accumulators: | | High-level (HLDS -> HLDS) optimization options |
| --ite-instead-of-switch: | | Warning options |
| --java: | | Grades and grade components |
| --java-archive-command: | | Link options |
| --java-classpath: | | Target code compilation options |
| --java-compiler: | | Target code compilation options |
| --java-flag: | | Target code compilation options |
| --java-flags: | | Target code compilation options |
| --java-interpreter: | | Target code compilation options |
| --java-object-file-extension: | | Target code compilation options |
| --java-only: | | Target options |
| --javac: | | Target code compilation options |
| --jobs: | | Build system options |
| --keep-going: | | Build system options |
| --layout-compression-limit: | | Low-level (LLDS -> LLDS) optimization options |
| --ld-flag: | | Link options |
| --ld-flags: | | Link options |
| --ld-libflag: | | Link options |
| --ld-libflags: | | Link options |
| --lib-linkage: | | Build system options |
| --libgrade: | | Build system options |
| --libgrades-exclude: | | Build system options |
| --libgrades-exclude-component: | | Build system options |
| --libgrades-include: | | Build system options |
| --libgrades-include-component: | | Build system options |
| --library: | | Link options |
| --library-directory: | | Link options |
| --limit-error-contexts: | | Verbosity options |
| --line-numbers: | | Auxiliary output options |
| --line-numbers-around-foreign-code: | | Auxiliary output options |
| --line-numbers-for-c-headers: | | Auxiliary output options |
| --link-executable-command: | | Link options |
| --link-object: | | Using non-installed libraries with mmc --make |
| --link-object: | | Link options |
| --link-shared-lib-command: | | Link options |
| --linkage: | | Link options |
| --llds-optimize: | | Auxiliary output options |
| --llds-optimize: | | Low-level (LLDS -> LLDS) optimization options |
| --local-constraint-propagation: | | High-level (HLDS -> HLDS) optimization options |
| --lookup-switch-req-density: | | Medium-level (HLDS -> LLDS) optimization options |
| --lookup-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --loop-invariants: | | High-level (HLDS -> HLDS) optimization options |
| --low-level-debug: | | Code generation options |
| --make: | | Using Mmake |
| --make: | | Warning options |
| --make: | | Verbosity options |
| --make: | | Verbosity options |
| --make: | | Verbosity options |
| --make: | | Output options |
| --make: | | Build system options |
| --make-int: | | Filenames |
| --make-int: | | Using mmc |
| --make-int: | | Output options |
| --make-interface: | | Filenames |
| --make-interface: | | Output options |
| --make-opt-int: | | Using mmc |
| --make-opt-int: | | Output options |
| --make-optimization-interface: | | Filenames |
| --make-optimization-interface: | | Output options |
| --make-priv-int: | | Using mmc |
| --make-priv-int: | | Output options |
| --make-priv-interface: | | Filenames |
| --make-private-interface: | | Filenames |
| --make-private-interface: | | Output options |
| --make-short-int: | | Filenames |
| --make-short-int: | | Using mmc |
| --make-short-int: | | Output options |
| --make-short-interface: | | Filenames |
| --make-short-interface: | | Output options |
| --make-trans-opt: | | Filenames |
| --make-trans-opt: | | Using mmc |
| --make-trans-opt: | | Output options |
| --make-transitive-optimization-interface: | | Filenames |
| --make-transitive-optimization-interface: | | Output options |
| --make-xml-documentation: | | Output options |
| --max-contexts-per-thread (runtime option): | | Environment |
| --max-engines (runtime option): | | Environment |
| --max-error-line-width: | | Auxiliary output options |
| --max-jump-table-size n: | | Code generation options |
| --maybe-thread-safe: | | Optional features compilation model options |
| --mdb-err (runtime option): | | Environment |
| --mdb-in (runtime option): | | Environment |
| --mdb-in-window (mdb option): | | Mercury debugger invocation |
| --mdb-out (runtime option): | | Environment |
| --mdb-tty (runtime option): | | Environment |
| --mem-usage-report (runtime option): | | Environment |
| --memory-profiling: | | Grades and grade components |
| --memory-profiling: | | Optional features compilation model options |
| --mercury-config-dir: | | Build system options |
| --mercury-configuration-directory: | | Build system options |
| --mercury-library: | | Using installed libraries with mmc --make |
| --mercury-library: | | Link options |
| --mercury-library-directory: | | Using installed libraries with mmc --make |
| --mercury-library-directory: | | Link options |
| --mercury-linkage: | | Link options |
| --mercury-standard-library-directory: | | Link options |
| --mercury-stdlib-dir: | | Link options |
| --middle-rec: | | Medium-level (HLDS -> LLDS) optimization options |
| --ml: | | Using installed libraries with mmc --make |
| --ml: | | Link options |
| --mld: | | Using installed libraries with mmc --make |
| --mld: | | Link options |
| --mlds-optimize: | | Auxiliary output options |
| --mlds-optimize: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --mlds-peephole: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --mode-constraints: | | Auxiliary output options |
| --no-: | | Invocation overview |
| --no-allow-undefined: | | Link options |
| --no-ansi-c: | | Target code compilation options |
| --no-asm-labels: | | Grades and grade components |
| --no-asm-labels: | | LLDS back-end compilation model options |
| --no-c-optimize: | | Target code compilation options |
| --no-common-data: | | Low-level (LLDS -> LLDS) optimization options |
| --no-common-struct: | | High-level (HLDS -> HLDS) optimization options |
| --no-coverage-profiling: | | Optional features compilation model options |
| --no-default-runtime-library-directory: | | Link options |
| --no-delay-death: | | Auxiliary output options |
| --no-demangle: | | Using mprof for time profiling |
| --no-demangle: | | Link options |
| --no-detect-libgrades: | | Build system options |
| --no-eliminate-local-variables: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-emit-c-loops: | | Output-level (LLDS -> C) optimization options |
| --no-follow-code: | | High-level (HLDS -> HLDS) optimization options |
| --no-fully-strict: | | Language semantics options |
| --no-gcc-global-registers: | | Grades and grade components |
| --no-gcc-global-registers: | | LLDS back-end compilation model options |
| --no-gcc-non-local-gotos: | | LLDS back-end compilation model options |
| --no-gcc-nonlocal-gotos: | | Grades and grade components |
| --no-generate-trail-ops-inline: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-halt-at-invalid-interface: | | Warning options |
| --no-high-level-code: | | Grades and grade components |
| --no-infer-det: | | Language semantics options |
| --no-infer-determinism: | | Language semantics options |
| --no-inform-inferred: | | Warning options |
| --no-inform-inferred-modes: | | Warning options |
| --no-inform-inferred-types: | | Warning options |
| --no-inline-builtins: | | High-level (HLDS -> HLDS) optimization options |
| --no-inline-simple: | | High-level (HLDS -> HLDS) optimization options |
| --no-inline-single-use: | | High-level (HLDS -> HLDS) optimization options |
| --no-inlining: | | High-level (HLDS -> HLDS) optimization options |
| --no-layout-common-data: | | Low-level (LLDS -> LLDS) optimization options |
| --no-libgrade: | | Build system options |
| --no-libgrade-install-check: | | Build system options |
| --no-line-numbers: | | Auxiliary output options |
| --no-line-numbers-around-foreign-code: | | Auxiliary output options |
| --no-line-numbers-for-c-headers: | | Auxiliary output options |
| --no-llds-optimize: | | Auxiliary output options |
| --no-llds-optimize: | | Low-level (LLDS -> LLDS) optimization options |
| --no-local-thread-engine-base: | | Output-level (LLDS -> C) optimization options |
| --no-main: | | Link options |
| --no-mercury-standard-library-directory: | | Link options |
| --no-mercury-stdlib-dir: | | Link options |
| --no-middle-rec: | | Medium-level (HLDS -> LLDS) optimization options |
| --no-mlds-optimize: | | Auxiliary output options |
| --no-mlds-optimize: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-mlds-peephole: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-optimize-delay-slot: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-format-calls: | | High-level (HLDS -> HLDS) optimization options |
| --no-optimize-frames: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-fulljumps: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-initializations: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-optimize-jumps: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-labels: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-peep: | | Low-level (LLDS -> LLDS) optimization options |
| --no-optimize-tailcalls: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --no-read-opt-files-transitively: | | Overall optimization options |
| --no-reclaim-heap-on-failure: | | Code generation options |
| --no-reclaim-heap-on-nondet-failure: | | Code generation options |
| --no-reclaim-heap-on-semidet-failure: | | Code generation options |
| --no-reorder-conj: | | Language semantics options |
| --no-reorder-disj: | | Language semantics options |
| --no-simple-neg: | | Medium-level (HLDS -> LLDS) optimization options |
| --no-smart-indexing: | | Medium-level (HLDS -> LLDS) optimization options |
| --no-static-ground-terms: | | Medium-level (HLDS -> LLDS) optimization options |
| --no-strip: | | Link options |
| --no-trad-passes: | | Verbosity options |
| --no-trad-passes: | | Code generation options |
| --no-trail-segments: | | Grades and grade components |
| --no-type-layout: | | Developer compilation model options |
| --no-use-atomic-cells: | | Medium-level (HLDS -> LLDS) optimization options |
| --no-use-readline: | | Link options |
| --no-verbose-make: | | Verbosity options |
| --no-warn-accumulator-swaps: | | Warning options |
| --no-warn-det-decls-too-lax: | | Warning options |
| --no-warn-implicit-stream-calls: | | Warning options |
| --no-warn-inferred-erroneous: | | Warning options |
| --no-warn-insts-with-functors-without-type: | | Warning options |
| --no-warn-insts-without-matching-type: | | Warning options |
| --no-warn-interface-imports: | | Warning options |
| --no-warn-interface-imports-in-parents: | | Warning options |
| --no-warn-known-bad-format-calls: | | Warning options |
| --no-warn-missing-det-decls: | | Warning options |
| --no-warn-missing-module-name: | | Warning options |
| --no-warn-non-contiguous-clauses: | | Warning options |
| --no-warn-non-contiguous-decls: | | Warning options |
| --no-warn-non-term-special-preds: | | Warning options |
| --no-warn-nothing-exported: | | Warning options |
| --no-warn-obsolete: | | Warning options |
| --no-warn-only-one-format-string-error: | | Warning options |
| --no-warn-simple-code: | | Warning options |
| --no-warn-singleton-variables: | | Warning options |
| --no-warn-singleton-vars: | | Warning options |
| --no-warn-smart-recompilation: | | Warning options |
| --no-warn-state-var-shadowing: | | Warning options |
| --no-warn-stubs: | | Warning options |
| --no-warn-suspected-occurs-check-failure: | | Warning options |
| --no-warn-table-with-inline: | | Warning options |
| --no-warn-target-code: | | Warning options |
| --no-warn-undefined-options-variables: | | Warning options |
| --no-warn-undefined-options-vars: | | Warning options |
| --no-warn-unresolved-polymorphism: | | Warning options |
| --no-warn-unused-imports: | | Warning options |
| --no-warn-up-to-date: | | Warning options |
| --no-warn-wrong-module-name: | | Warning options |
| --nondetstack-size: | | Running |
| --nondetstack-size (runtime option): | | Environment |
| --nondetstack-size-kwords (runtime option): | | Environment |
| --num-ptag-bits: | | Developer compilation model options |
| --num-real-f-regs: | | Code generation target options |
| --num-real-f-temps: | | Code generation target options |
| --num-real-r-regs: | | Code generation target options |
| --num-real-r-temps: | | Code generation target options |
| --num-tag-bits: | | Developer compilation model options |
| --opt-level: | | Overall optimization options |
| --opt-space: | | Overall optimization options |
| --optimization-level: | | Overall optimization options |
| --optimize-constant-propagation: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-constructor-last-call: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-dead-procs: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-delay-slot: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-duplicate-calls: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-dups: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-frames: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-fulljumps: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-higher-order: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-initializations: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --optimize-jumps: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-labels: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-peep: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-proc-dups: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-reassign: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-repeat: | | Low-level (LLDS -> LLDS) optimization options |
| --optimize-saved-vars: | | High-level (HLDS -> HLDS) optimization options |
| --optimize-space: | | Overall optimization options |
| --optimize-tailcalls: | | MLDS back-end (MLDS -> MLDS) optimization options |
| --optimize-unused-args: | | High-level (HLDS -> HLDS) optimization options |
| --options-file: | | Build system options |
| --options-search-directory: | | Build system options |
| --order-make-by-timestamp: | | Build system options |
| --output-c-compiler-type: | | Output options |
| --output-c-include-dir-flags: | | Output options |
| --output-c-include-directory-flags: | | Output options |
| --output-cc: | | Output options |
| --output-cc-type: | | Output options |
| --output-cflags: | | Output options |
| --output-class-dir: | | Output options |
| --output-class-directory: | | Output options |
| --output-compile-error-lines: | | Verbosity options |
| --output-csharp-compiler: | | Output options |
| --output-csharp-compiler-type: | | Output options |
| --output-file: | | Link options |
| --output-grade-defines: | | Output options |
| --output-grade-string: | | Output options |
| --output-java-class-dir: | | Output options |
| --output-java-class-directory: | | Output options |
| --output-libgrades: | | Output options |
| --output-library-link-flags: | | Output options |
| --output-link-command: | | Output options |
| --output-shared-lib-link-command: | | Output options |
| --output-stdlib-grades: | | Output options |
| --output-stdlib-modules: | | Output options |
| --output-target-arch: | | Output options |
| --parallel: | | Building profiled applications |
| --parallel: | | Optional features compilation model options |
| --pessimize-tailcalls: | | Low-level (LLDS -> LLDS) optimization options |
| --pnegstack-size (runtime option): | | Environment |
| --pnegstack-size-kwords (runtime option): | | Environment |
| --pre-link-command: | | Build system options |
| --pretty-print: | | Output options |
| --proc-size-statistics: | | Verbosity options |
| --procs-per-c-function: | | Output-level (LLDS -> C) optimization options |
| --profile-for-feedback: | | Optional features compilation model options |
| --profile-for-implicit-parallelism: | | Optional features compilation model options |
| --profile-optimized: | | Auxiliary output options |
| --profiling: | | Grades and grade components |
| --profiling: | | Optional features compilation model options |
| --program-in-window (mdb option): | | Mercury debugger invocation |
| --rebuild: | | Build system options |
| --reclaim-heap-on-failure: | | Code generation options |
| --reclaim-heap-on-nondet-failure: | | Code generation options |
| --reclaim-heap-on-semidet-failure: | | Code generation options |
| --record-term-sizes-as-cells: | | Grades and grade components |
| --record-term-sizes-as-words: | | Grades and grade components |
| --reorder-conj: | | Language semantics options |
| --reorder-disj: | | Language semantics options |
| --report-cmd-line-args: | | Verbosity options |
| --report-cmd-line-args-in-doterr: | | Verbosity options |
| --restricted-command-line: | | Build system options |
| --runtime-flags: | | Link options |
| --runtime-library-directory: | | Link options |
| --search-directory: | | Build system options |
| --search-lib-files-dir: | | Using non-installed libraries with mmc --make |
| --search-lib-files-dir: | | Link options |
| --search-library-files-directory: | | Link options |
| --shlib-linker-install-name-path: | | Link options |
| --show-all-type-representations: | | Auxiliary output options |
| --show-definition-extents: | | Auxiliary output options |
| --show-definition-line-counts: | | Auxiliary output options |
| --show-definitions: | | Auxiliary output options |
| --show-dependency-graph: | | Auxiliary output options |
| --show-local-type-representations: | | Auxiliary output options |
| --show-make-times: | | Build system options |
| --sign-assembly: | | Link options |
| --simple-mode-constraints: | | Auxiliary output options |
| --simple-neg: | | Medium-level (HLDS -> LLDS) optimization options |
| --single-prec-float: | | Grades and grade components |
| --single-prec-float: | | Optional features compilation model options |
| --small-detstack-size (runtime option): | | Environment |
| --small-detstack-size-kwords (runtime option): | | Environment |
| --small-nondetstack-size (runtime option): | | Environment |
| --small-nondetstack-size-kwords (runtime option): | | Environment |
| --smart-indexing: | | Medium-level (HLDS -> LLDS) optimization options |
| --smart-recompilation: | | Filenames |
| --smart-recompilation: | | Filenames |
| --smart-recompilation: | | Auxiliary output options |
| --solutions-heap-size (runtime option): | | Environment |
| --solutions-heap-size-kwords (runtime option): | | Environment |
| --stack-segments: | | Grades and grade components |
| --stack-segments: | | LLDS back-end compilation model options |
| --stack-trace-higher-order: | | Auxiliary output options |
| --static-ground-terms: | | Medium-level (HLDS -> LLDS) optimization options |
| --statistics: | | Verbosity options |
| --string-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --string-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --string-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --strip-executable-command: | | Link options |
| --strip-executable-shared-flags: | | Link options |
| --strip-executable-static-flags: | | Link options |
| --system-env-type: | | Build system options |
| --tabling-statistics (runtime option): | | Environment |
| --tag-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --target: | | Grades and grade components |
| --target-code-only: | | Output options |
| --target-debug: | | Target code compilation options |
| --target-env-type: | | Build system options |
| --term-err-limit: | | Termination analysis options |
| --term-path-limit: | | Termination analysis options |
| --term-single-arg limit: | | Termination analysis options |
| --termination-error-limit: | | Termination analysis options |
| --termination-norm: | | Termination analysis options |
| --termination-path-limit: | | Termination analysis options |
| --termination-single-argument-analysis: | | Termination analysis options |
| --thread-pinning (runtime option): | | Environment |
| --threadscope: | | Building profiled applications |
| --threadscope: | | Optional features compilation model options |
| --time-profiling: | | Optional features compilation model options |
| --trace-count (runtime option): | | Environment |
| --trace-count-if-exec (runtime option): | | Environment |
| --trace-count-output-file (runtime option): | | Environment |
| --trace-count-summary-file (runtime option): | | Environment |
| --trace-count-summary-max (runtime option): | | Environment |
| --trace-init-file: | | Link options |
| --trace-level level: | | Auxiliary output options |
| --trace-optimized: | | Auxiliary output options |
| --trad-passes: | | Verbosity options |
| --trad-passes: | | Code generation options |
| --trail-segment-size (runtime option): | | Environment |
| --trail-segment-size-kwords (runtime option): | | Environment |
| --trail-segments: | | Grades and grade components |
| --trail-segments: | | Optional features compilation model options |
| --trans-intermod-opt: | | Building libraries with Mmake |
| --trans-intermod-opt: | | Overall optimization options |
| --transitive-intermodule-optimization: | | Using mmc |
| --transitive-intermodule-optimization: | | Overall optimization options |
| --try-switch-size: | | Medium-level (HLDS -> LLDS) optimization options |
| --tty (mdb option): | | Mercury debugger invocation |
| --type-inference-iteration-limit: | | Language semantics options |
| --type-layout: | | Developer compilation model options |
| --type-specialization: | | High-level (HLDS -> HLDS) optimization options |
| --typecheck-only: | | Output options |
| --unneeded-code: | | High-level (HLDS -> HLDS) optimization options |
| --unneeded-code-copy-limit: | | High-level (HLDS -> HLDS) optimization options |
| --use-atomic-cells: | | Medium-level (HLDS -> LLDS) optimization options |
| --use-grade-subdirs: | | Build system options |
| --use-local-vars: | | Low-level (LLDS -> LLDS) optimization options |
| --use-macro-for-redo-fail: | | Output-level (LLDS -> C) optimization options |
| --use-opt-files: | | Overall optimization options |
| --use-search-directories-for-intermod: | | Build system options |
| --use-subdirs: | | Filenames |
| --use-subdirs: | | Build system options |
| --use-trail: | | Grades and grade components |
| --use-trail: | | Optional features compilation model options |
| --use-trans-opt-files: | | Overall optimization options |
| --user-guided-type-specialization: | | High-level (HLDS -> HLDS) optimization options |
| --verb-check-term: | | Termination analysis options |
| --verb-chk-term: | | Termination analysis options |
| --verbose: | | Verbosity options |
| --verbose-check-termination: | | Termination analysis options |
| --verbose-commands: | | Verbosity options |
| --verbose-dump-mlds: | | Auxiliary output options |
| --verbose-error-messages: | | Verbosity options |
| --verbose-recompilation: | | Verbosity options |
| --very-verbose: | | Verbosity options |
| --warn-accumulator-swaps: | | Warning options |
| --warn-dead-predicates: | | Warning options |
| --warn-dead-preds: | | Warning options |
| --warn-dead-procedures: | | Warning options |
| --warn-dead-procs: | | Warning options |
| --warn-det-decls-too-lax: | | Warning options |
| --warn-duplicate-calls: | | Warning options |
| --warn-implicit-stream-calls: | | Warning options |
| --warn-inconsistent-pred-order: | | Warning options |
| --warn-inconsistent-pred-order-clauses: | | Warning options |
| --warn-inconsistent-pred-order-foreign-procs: | | Warning options |
| --warn-inferred-erroneous: | | Warning options |
| --warn-insts-with-functors-without--type: | | Warning options |
| --warn-insts-without-matching-type: | | Warning options |
| --warn-interface-imports: | | Warning options |
| --warn-interface-imports-in-parents: | | Warning options |
| --warn-missing-det-decls: | | Warning options |
| --warn-missing-module-name: | | Warning options |
| --warn-missing-opt-files: | | Warning options |
| --warn-missing-trans-opt-files: | | Warning options |
| --warn-non-contiguous-foreign-procs: | | Warning options |
| --warn-non-stratification: | | Warning options |
| --warn-non-tail-recursion: | | Warning options |
| --warn-nothing-exported: | | Warning options |
| --warn-obvious-non-tail-recursion: | | Warning options |
| --warn-potentially-ambiguous-pragma: | | Warning options |
| --warn-simple-code: | | Warning options |
| --warn-singleton-variables: | | Warning options |
| --warn-singleton-vars: | | Warning options |
| --warn-smart-recompilation: | | Warning options |
| --warn-stubs: | | Warning options |
| --warn-suspicious-foreign-code: | | Warning options |
| --warn-suspicious-foreign-procs: | | Warning options |
| --warn-suspicious-recursion: | | Warning options |
| --warn-unknown-format-calls: | | Warning options |
| --warn-unused-args: | | Warning options |
| --warn-unused-imports: | | Warning options |
| --warn-up-to-date: | | Warning options |
| --warn-wrong-module-name: | | Warning options |
| --window (mdb option): | | Mercury debugger invocation |
| --window-command (mdb option): | | Mercury debugger invocation |
| -?: | | Miscellaneous options |
| -c: | | Using mmc |
| -C: | | Output options |
| -c: | | Output options |
| -C (runtime option): | | Environment |
| -d: | | Auxiliary output options |
| -D (runtime option): | | Environment |
| -E: | | Verbosity options |
| -e: | | Output options |
| -e (runtime option): | | Environment |
| -F: | | Link options |
| -H: | | MLDS back-end compilation model options |
| -h: | | Miscellaneous options |
| -i: | | Output options |
| -I: | | Build system options |
| -i (runtime option): | | Environment |
| -j: | | Build system options |
| -k: | | Build system options |
| -L: | | Link options |
| -l: | | Link options |
| -M: | | Output options |
| -m: | | Build system options |
| -m (runtime option): | | Environment |
| -N: | | Verbosity options |
| -n: | | Auxiliary output options |
| -o: | | Using mmc |
| -O: | | Overall optimization options |
| -o: | | Link options |
| -o (runtime option): | | Environment |
| -P: | | Output options |
| -p (runtime option): | | Environment |
| -P (runtime option): | | Environment |
| -R: | | Link options |
| -r: | | Build system options |
| -S: | | Verbosity options |
| -s: | | Grades and grade components |
| -T (runtime option): | | Environment |
| -track-flags: | | Build system options |
| -v: | | Verbosity options |
| -V: | | Verbosity options |
| -w: | | Warning options |
|
| . | | |
| .debug (grade modifier): | | Grades and grade components |
| .decldebug (grade modifier): | | Grades and grade components |
| .gc (grade modifier): | | Grades and grade components |
| .mdbrc: | | Mercury debugger invocation |
| .memprof (grade modifier): | | Grades and grade components |
| .mm (grade modifier): | | Grades and grade components |
| .par (grade modifier): | | Grades and grade components |
| .prof (grade modifier): | | Grades and grade components |
| .profdeep (grade modifier): | | Grades and grade components |
| .spf (grade modifier): | | Grades and grade components |
| .stseg (grade modifier): | | Grades and grade components |
| .threadscope (grade modifier): | | Grades and grade components |
| .tr (grade modifier): | | Grades and grade components |
| .trseg (grade modifier): | | Grades and grade components |
|
| / | | |
| /debug: | | Target code compilation options |
|
| A | | |
| ABI (Application Binary Interface): | | Compilation model options |
| Accumulator introduction: | | High-level (HLDS -> HLDS) optimization options |
| alias (mdb command): | | Parameter commands |
| Allocation profiling: | | Profiling |
| Allocation profiling: | | Building profiled applications |
| Allocation profiling: | | Creating profiles |
| Allocation profiling: | | Using mprof for profiling memory allocation |
| Allocation profiling: | | Optional features compilation model options |
| all_class_decls (mdb command): | | Developer commands |
| all_procedures (mdb command): | | Developer commands |
| all_regs (mdb command): | | Developer commands |
| all_type_ctors (mdb command): | | Developer commands |
| ambiguity (mdb command): | | Developer commands |
| Application Binary Interface (ABI): | | Compilation model options |
| AR: | | Building libraries with Mmake |
| ARFLAGS: | | Building libraries with Mmake |
| asm_fast (compilation grade): | | Grades and grade components |
| Automatic garbage collection: | | Optional features compilation model options |
| Automatic parallelism: | | Optional features compilation model options |
| Automatic parallelism: | | Miscellaneous options |
| Automatic parallelism: | | Miscellaneous options |
|
| B | | |
| Backtrackable destructive update: | | Optional features compilation model options |
| Backtrackable destructive update: | | Optional features compilation model options |
| Boehm (et al) conservative garbage collector: | | Optional features compilation model options |
| break (mdb command): | | Breakpoint commands |
| break points: | | Mercury debugger concepts |
| Breakpoints: | | Breakpoint commands |
| break_print (mdb command): | | Breakpoint commands |
| break_print (mdb command): | | Breakpoint commands |
| browse (mdb command): | | Browsing commands |
| Building profiled applications: | | Building profiled applications |
| Building programs: | | Using Mmake |
|
| C | | |
| C compiler: | | Target code compilation options |
| C compiler options: | | Target code compilation options |
| C compilers: | | C compilers |
| C debugging: | | Target code compilation options |
| C# compiler: | | Target code compilation options |
| C# compiler options: | | Target code compilation options |
| C# libraries: | | Libraries and the C# grade |
| c2init: | | Using mmc |
| C2INITARGS: | | Using Mmake |
| C2INITFLAGS: | | Using Mmake |
| call (trace event): | | Tracing of Mercury programs |
| Call graph profile: | | Using mprof for time profiling |
| cc_query (mdb command): | | Interactive query commands |
| CFLAGS: | | Using Mmake |
| CIL interpreter: | | Target code compilation options |
| CLANG_FLAGS: | | Using Mmake |
| classpath: | | Target code compilation options |
| class_decl (mdb command): | | Developer commands |
| Clauses, procedures without: | | Language semantics options |
| clear_histogram (mdb command): | | Experimental commands |
| Code generation options: | | Code generation options |
| Compilation grades: | | Compilation model options |
| Compilation model options: | | Compilation model options |
| Compilation models: | | Compilation model options |
| Compilation speed: | | Overall optimization options |
| cond (trace event): | | Tracing of Mercury programs |
| condition (mdb command): | | Breakpoint commands |
| Conservative garbage collection: | | Optional features compilation model options |
| Constraint solving: | | Optional features compilation model options |
| Constraint solving: | | Optional features compilation model options |
| consumer (mdb command): | | Developer commands |
| context (mdb command): | | Parameter commands |
| continue (mdb command): | | Forward movement commands |
| control-C: | | Mercury debugger concepts |
| Coverage Profiling: | | Optional features compilation model options |
| Coverage profiling: | | Optional features compilation model options |
| Creating profiles: | | Creating profiles |
| Cross-compiling: | | Developer compilation model options |
| Cross-compiling: | | Code generation target options |
| Cross-module optimization: | | Overall optimization options |
| Cross-module optimization: | | Overall optimization options |
| Cross-module optimization, transitive: | | Overall optimization options |
| csharp (compilation grade): | | Grades and grade components |
| current (mdb command): | | Browsing commands |
| Cut stack size: | | Environment |
| Cut stack size: | | Environment |
| cut_stack (mdb command): | | Developer commands |
|
| D | | |
| Data representation: | | Optional features compilation model options |
| Data representation: | | Developer compilation model options |
| Dead function elimination: | | High-level (HLDS -> HLDS) optimization options |
| Dead predicate elimination: | | High-level (HLDS -> HLDS) optimization options |
| Dead procedure elimination: | | High-level (HLDS -> HLDS) optimization options |
| debugger break points: | | Mercury debugger concepts |
| debugger interrupt: | | Mercury debugger concepts |
| debugger print level: | | Mercury debugger concepts |
| debugger procedure specification: | | Mercury debugger concepts |
| debugger trace events: | | Tracing of Mercury programs |
| debugger trace level: | | Preparing a program for debugging |
| Debugging: | | Debugging |
| Debugging: | | Optional features compilation model options |
| Debugging: | | Optional features compilation model options |
| Debugging the generated C code: | | Target code compilation options |
| Debugging Threads: | | Environment |
| debug_vars (mdb command): | | Developer commands |
| Deep profiling: | | Profiling |
| Deep profiling: | | Building profiled applications |
| Deep profiling: | | Creating profiles |
| Deep profiling: | | Using mdprof |
| Deep profiling: | | Optional features compilation model options |
| deep tracing: | | Preparing a program for debugging |
| delete (mdb command): | | Breakpoint commands |
| dependencies: | | Output options |
| depth (mdb command): | | Parameter commands |
| Destructive update, backtrackable: | | Optional features compilation model options |
| Destructive update, backtrackable: | | Optional features compilation model options |
| Determinism inference: | | Language semantics options |
| dice (mdb command): | | Experimental commands |
| diff (mdb command): | | Browsing commands |
| Directories: | | Target code compilation options |
| Directories: | | Target code compilation options |
| Directories: | | Build system options |
| Directories: | | Build system options |
| Directories: | | Build system options |
| Directories: | | Build system options |
| Directories: | | Build system options |
| Directories: | | Environment |
| Directories for libraries: | | Link options |
| Directories for libraries: | | Link options |
| Directories for libraries: | | Link options |
| Directories for libraries: | | Link options |
| disable (mdb command): | | Breakpoint commands |
| disj (trace event): | | Tracing of Mercury programs |
| document (mdb command): | | Help commands |
| document_category (mdb command): | | Help commands |
| down (mdb command): | | Browsing commands |
| dump (mdb command): | | Browsing commands |
| Duplicate call optimization: | | High-level (HLDS -> HLDS) optimization options |
|
| E | | |
| echo (mdb command): | | Parameter commands |
| Efficiency: | | Profiling introduction |
| else (trace event): | | Tracing of Mercury programs |
| Emacs: | | GNU Emacs interface |
| enable (mdb command): | | Breakpoint commands |
| Environment variables: | | Environment |
| exception (mdb command): | | Forward movement commands |
| exit (trace event): | | Tracing of Mercury programs |
| EXTRA_C2INITARGS: | | Using Mmake |
| EXTRA_C2INITFLAGS: | | Using Mmake |
| EXTRA_CFLAGS: | | Using Mmake |
| EXTRA_GRADEFLAGS: | | Using Mmake |
| EXTRA_JAVACFLAGS: | | Using Mmake |
| EXTRA_LDFLAGS: | | Using Mmake |
| EXTRA_LD_LIBFLAGS: | | Using Mmake |
| EXTRA_LIBRARIES: | | Using Mmake |
| EXTRA_LIBRARIES: | | Using libraries with Mmake |
| EXTRA_LIB_DIRS: | | Using Mmake |
| EXTRA_LIB_DIRS: | | Using libraries with Mmake |
| EXTRA_MCFLAGS: | | Using Mmake |
| EXTRA_MC_MAKE_FLAGS: | | Using Mmake |
| EXTRA_MGNUCFLAGS: | | Using Mmake |
| EXTRA_MLFLAGS: | | Using Mmake |
| EXTRA_MLLIBS: | | Using Mmake |
| EXTRA_MLOBJS: | | Using Mmake |
|
| F | | |
| Fact tables: | | Code generation options |
| Fact tables: | | Code generation options |
| fail (trace event): | | Tracing of Mercury programs |
| fail_trace_counts (mdb command): | | Parameter commands |
| File extensions: | | Filenames |
| File extensions: | | Target code compilation options |
| File names: | | Filenames |
| file names: | | Parameter commands |
| File names: | | Build system options |
| File names: | | Build system options |
| finish (mdb command): | | Forward movement commands |
| flag (mdb command): | | Developer commands |
| Flat profile: | | Using mprof for time profiling |
| format (mdb command): | | Parameter commands |
| format_param (mdb command): | | Parameter commands |
| forward (mdb command): | | Forward movement commands |
|
| G | | |
| Garbage collection: | | Optional features compilation model options |
| Garbage collection, profiling: | | Using mprof for time profiling |
| GCC_FLAGS: | | Using Mmake |
| Generator stack size: | | Environment |
| Generator stack size: | | Environment |
| gen_stack (mdb command): | | Developer commands |
| GNU C: | | C compilers |
| GNU Emacs: | | GNU Emacs interface |
| goal path: | | Tracing of Mercury programs |
| goal_path (mdb command): | | Parameter commands |
| goto (mdb command): | | Forward movement commands |
| GRADEFLAGS: | | Using Mmake |
| GRADEFLAGS: | | Using Mmake |
| GRADEFLAGS: | | Compilation model options |
| Grades: | | Compilation model options |
| Grades: | | Build system options |
| Grades and grade components: | | Grades and grade components |
|
| H | | |
| Heap overflow: | | Running |
| Heap profiling: | | Profiling |
| Heap profiling: | | Building profiled applications |
| Heap profiling: | | Creating profiles |
| Heap profiling: | | Using mprof for profiling memory retention |
| Heap profiling: | | Optional features compilation model options |
| Heap size: | | Running |
| held variables (in mdb): | | Mercury debugger concepts |
| held_vars (mdb command): | | Browsing commands |
| help (mdb command): | | Help commands |
| Help option: | | Miscellaneous options |
| Higher-order specialization: | | High-level (HLDS -> HLDS) optimization options |
| histogram_all (mdb command): | | Experimental commands |
| histogram_exp (mdb command): | | Experimental commands |
| hlc (compilation grade): | | Grades and grade components |
| HLDS: | | High-level (HLDS -> HLDS) optimization options |
| HLDS: | | Medium-level (HLDS -> LLDS) optimization options |
| hold (mdb command): | | Browsing commands |
|
| I | | |
| ignore (mdb command): | | Breakpoint commands |
| Include directories: | | Target code compilation options |
| Inference: | | Language semantics options |
| Inference of determinism: | | Language semantics options |
| Inference of modes: | | Language semantics options |
| Inference of modes: | | Language semantics options |
| Inference of types: | | Language semantics options |
| Inference of types: | | Language semantics options |
| Inlining: | | Overall optimization options |
| Inlining: | | High-level (HLDS -> HLDS) optimization options |
| INSTALL: | | Using Mmake |
| INSTALL: | | Using Mmake |
| INSTALL: | | Installing libraries with Mmake |
| INSTALL_MKDIR: | | Using Mmake |
| INSTALL_MKDIR: | | Using Mmake |
| INSTALL_MKDIR: | | Installing libraries with Mmake |
| INSTALL_PREFIX: | | Using Mmake |
| INSTALL_PREFIX: | | Installing libraries with Mmake |
| Intermodule optimization: | | Overall optimization options |
| Intermodule optimization: | | Overall optimization options |
| Intermodule optimization, transitive: | | Overall optimization options |
| interrupt, in debugger: | | Mercury debugger concepts |
| io_query (mdb command): | | Interactive query commands |
|
| J | | |
| jar files: | | Libraries and the Java grade |
| java (compilation grade): | | Grades and grade components |
| Java compiler: | | Target code compilation options |
| Java compiler options: | | Target code compilation options |
| Java interpreter: | | Target code compilation options |
| Java libraries: | | Libraries and the Java grade |
| JAVACFLAGS: | | Using Mmake |
|
| L | | |
| Language semantics options: | | Language semantics options |
| Last call optimization: | | High-level (HLDS -> HLDS) optimization options |
| Last call optimization: | | High-level (HLDS -> HLDS) optimization options |
| LDFLAGS: | | Using Mmake |
| LD_BIND_NOW: | | Profiling and shared libraries |
| LD_LIBFLAGS: | | Using Mmake |
| level (mdb command): | | Browsing commands |
| LIBGRADES: | | Using Mmake |
| LIBGRADES: | | Using Mmake |
| LIBGRADES: | | Installing libraries with Mmake |
| Libraries: | | Libraries |
| Libraries, linking with: | | Using installed libraries with mmc --make |
| Libraries, linking with: | | Using non-installed libraries with mmc --make |
| Libraries, linking with: | | Using libraries with Mmake |
| Libraries, linking with: | | Link options |
| Libraries, linking with: | | Link options |
| LIB_LINKAGES: | | Using Mmake |
| LIB_LINKAGES: | | Using Mmake |
| line numbers: | | Parameter commands |
| lines (mdb command): | | Parameter commands |
| Link errors: | | Compilation model options |
| Link options: | | Link options |
| LINKAGE: | | Using Mmake |
| Linker options: | | Link options |
| list (mdb command): | | Browsing commands |
| list_cmd (mdb command): | | Parameter commands |
| list_context_lines (mdb command): | | Parameter commands |
| list_path (mdb command): | | Parameter commands |
| LLDS: | | Medium-level (HLDS -> LLDS) optimization options |
| LLDS: | | Low-level (LLDS -> LLDS) optimization options |
| LLDS back-end compilation model options: | | LLDS back-end compilation model options |
|
| M | | |
| Mac OS X, Darwin, Install name: | | Link options |
| Mac OS X, Using Frameworks: | | Link options |
| Mac OS X, Using Frameworks: | | Link options |
| MAIN_TARGET: | | Using Mmake |
| make --- see Mmake: | | Using Mmake |
| maxdepth (mdb command): | | Forward movement commands |
| max_io_actions (mdb command): | | Parameter commands |
| MC: | | Using Mmake |
| MCFLAGS: | | Using Mmake |
| MCFLAGS: | | Compilation model options |
| MC_BUILD_FILES: | | Using Mmake |
| MC_MAKE_FLAGS: | | Using Mmake |
| mdb: | | Debugging |
| mdb: | | Quick overview |
| mdbrc: | | Mercury debugger invocation |
| mdprof: | | Profiling |
| mdprof: | | Building profiled applications |
| mdprof: | | Creating profiles |
| mdprof: | | Using mdprof |
| Measuring performance: | | Profiling introduction |
| Memory attribution: | | Using mprof for profiling memory retention |
| Memory profiling: | | Profiling |
| Memory profiling: | | Building profiled applications |
| Memory profiling: | | Creating profiles |
| Memory profiling: | | Using mprof for profiling memory allocation |
| Memory profiling: | | Optional features compilation model options |
| Memory retention: | | Using mprof for profiling memory retention |
| Mercury subdirectory: | | Build system options |
| Mercury subdirectory: | | Build system options |
| Mercury.options: | | Using Mmake |
| Mercury.options: | | Build system options |
| MERCURY_COMPILER: | | Environment |
| MERCURY_DEBUGGER_INIT: | | Mercury debugger invocation |
| MERCURY_DEBUGGER_INIT: | | Environment |
| MERCURY_DEFAULT_GRADE: | | Grades and grade components |
| MERCURY_DEFAULT_GRADE: | | Environment |
| MERCURY_DEFAULT_GRADE: | | C compilers |
| MERCURY_LINKAGE: | | Using Mmake |
| MERCURY_MAIN_MODULES: | | Using Mmake |
| MERCURY_MKINIT: | | Environment |
| MERCURY_OPTIONS: | | Running |
| MERCURY_OPTIONS: | | Environment |
| MERCURY_STDLIB_DIR: | | Environment |
| mgnuc: | | Using mmc |
| MGNUC: | | Using Mmake |
| MGNUCFLAGS: | | Using Mmake |
| MGNUCFLAGS: | | Compilation model options |
| Microsoft Management Console: | | Using mmc |
| mindepth (mdb command): | | Forward movement commands |
| ml: | | Using mmc |
| ML: | | Using Mmake |
| ML: | | Building libraries with Mmake |
| MLDS: | | MLDS back-end (MLDS -> MLDS) optimization options |
| MLDS back-end compilation model options: | | MLDS back-end compilation model options |
| MLFLAGS: | | Using Mmake |
| MLFLAGS: | | Building libraries with Mmake |
| MLFLAGS: | | Compilation model options |
| MLLIBS: | | Using Mmake |
| MLLIBS: | | Building libraries with Mmake |
| MLOBJS: | | Using Mmake |
| MLOBJS: | | Building libraries with Mmake |
| MLPICOBJS: | | Building libraries with Mmake |
| mmake: | | Using Mmake |
| Mmake variables: | | Using Mmake |
| mmc: | | Using mmc |
| mmc_options (mdb command): | | Parameter commands |
| mm_stacks (mdb command): | | Developer commands |
| Mode inference: | | Language semantics options |
| modules (mdb command): | | Breakpoint commands |
| mprof: | | Profiling |
| mprof: | | Building profiled applications |
| mprof: | | Creating profiles |
| mprof: | | Using mprof for time profiling |
| mprof: | | Using mprof for profiling memory allocation |
| mprof: | | Using mprof for profiling memory retention |
| mprof: | | Profiling and shared libraries |
| MSVC_FLAGS: | | Using Mmake |
|
| N | | |
| neg_enter (trace event): | | Tracing of Mercury programs |
| neg_fail (trace event): | | Tracing of Mercury programs |
| neg_success (trace event): | | Tracing of Mercury programs |
| next (mdb command): | | Forward movement commands |
| No clauses, procedures with: | | Language semantics options |
| nondet_stack (mdb command): | | Developer commands |
| none (compilation grade): | | Grades and grade components |
|
| O | | |
| Object files, linking with: | | Link options |
| Optimization: | | Profiling introduction |
| Optimization: | | Language semantics options |
| Optimization levels: | | Overall optimization options |
| Optimization options: | | Optimization options |
| Optimizing code size: | | Overall optimization options |
| Optimizing space: | | Overall optimization options |
| Optional features compilation model options: | | Optional features compilation model options |
| Options files: | | Using Mmake |
| Options files: | | Build system options |
| Options files: | | Build system options |
| Order of execution: | | Language semantics options |
|
| P | | |
| Parallel execution: | | Optional features compilation model options |
| Parallel execution profiling: | | Using threadscope |
| Parallel performance: | | Profiling introduction |
| Parallel runtime profiling: | | Building profiled applications |
| pass_trace_counts (mdb command): | | Parameter commands |
| path: | | Tracing of Mercury programs |
| paths in terms: | | Mercury debugger concepts |
| PIC (position independent code): | | Building libraries with Mmake |
| Pneg stack size: | | Environment |
| Pneg stack size: | | Environment |
| pneg_stack (mdb command): | | Developer commands |
| pop_list_dir (mdb command): | | Parameter commands |
| Position independent code: | | Building libraries with Mmake |
| pragma fact_table: | | Code generation options |
| pragma fact_table: | | Code generation options |
| print (mdb command): | | Browsing commands |
| print level: | | Mercury debugger concepts |
| printlevel (mdb command): | | Parameter commands |
| print_optionals (mdb command): | | Developer commands |
| procedure specification (in mdb): | | Mercury debugger concepts |
| procedures (mdb command): | | Breakpoint commands |
| Procedures with no clauses: | | Language semantics options |
| Profiler feedback: | | Optional features compilation model options |
| Profiler feedback: | | Miscellaneous options |
| Profiler feedback: | | Miscellaneous options |
| Profiling: | | Profiling |
| Profiling: | | Profiling introduction |
| Profiling: | | Creating profiles |
| Profiling: | | Optional features compilation model options |
| Profiling: | | Optional features compilation model options |
| Profiling and shared libraries: | | Profiling and shared libraries |
| Profiling interrupts: | | Using mprof for time profiling |
| Profiling memory allocation: | | Profiling |
| Profiling memory allocation: | | Using mprof for profiling memory allocation |
| push_list_dir (mdb command): | | Parameter commands |
|
| Q | | |
| query (mdb command): | | Interactive query commands |
| quit (mdb command): | | Miscellaneous commands |
|
| R | | |
| RANLIB: | | Building libraries with Mmake |
| RANLIBFLAGS: | | Building libraries with Mmake |
| Recompiling: | | Using Mmake |
| redo (trace event): | | Tracing of Mercury programs |
| reg (compilation grade): | | Grades and grade components |
| register (mdb command): | | Breakpoint commands |
| Reordering: | | Language semantics options |
| retry (mdb command): | | Backward movement commands |
| return (mdb command): | | Forward movement commands |
| return (mdb command): | | Forward movement commands |
|
| S | | |
| save (mdb command): | | Miscellaneous commands |
| scope (mdb command): | | Parameter commands |
| scroll (mdb command): | | Parameter commands |
| Search path: | | Build system options |
| Search path: | | Build system options |
| Search path: | | Build system options |
| Search path: | | Environment |
| Search path for libraries: | | Link options |
| Search path for libraries: | | Link options |
| Search path for libraries: | | Link options |
| Search path for libraries: | | Link options |
| Semantics options: | | Language semantics options |
| shallow tracing: | | Preparing a program for debugging |
| Shared libraries: | | Building libraries with Mmake |
| Shared libraries and profiling: | | Profiling and shared libraries |
| Shared objects: | | Building libraries with Mmake |
| show-ghc-events: | | Using threadscope |
| size (mdb command): | | Parameter commands |
| source (mdb command): | | Miscellaneous commands |
| Specialization of higher-order calls: | | High-level (HLDS -> HLDS) optimization options |
| spy points: | | Mercury debugger concepts |
| stack (mdb command): | | Browsing commands |
| Stack overflow: | | Running |
| Stack segments: | | LLDS back-end compilation model options |
| Stack size: | | Running |
| stack_default_limit (mdb command): | | Parameter commands |
| stack_regs (mdb command): | | Developer commands |
| Static libraries: | | Building libraries with Mmake |
| stats (mdb command): | | Developer commands |
| step (mdb command): | | Forward movement commands |
| strict debugger commands: | | Mercury debugger concepts |
| Stubs: | | Language semantics options |
| Subdirectories: | | Build system options |
| Subdirectories: | | Build system options |
| subgoal (mdb command): | | Developer commands |
| switch (trace event): | | Tracing of Mercury programs |
|
| T | | |
| table (mdb command): | | Developer commands |
| table_io (mdb command): | | I/O tabling commands |
| Tags: | | Developer compilation model options |
| Tail recursion optimization: | | High-level (HLDS -> HLDS) optimization options |
| Tail recursion optimization: | | High-level (HLDS -> HLDS) optimization options |
| Target code compilation options: | | Target code compilation options |
| Target options: | | Target options |
| Target options: | | Code generation target options |
| term navigation: | | Mercury debugger concepts |
| Termination analysis: | | Overall optimization options |
| Termination analysis options: | | Termination analysis options |
| then (trace event): | | Tracing of Mercury programs |
| Threads, Debugging: | | Environment |
| threadscope: | | Building profiled applications |
| threadscope: | | Using threadscope |
| Threadscope profiling: | | Building profiled applications |
| ThreadScope profiling: | | Using threadscope |
| Threadscope profiling: | | Optional features compilation model options |
| Time profiling: | | Profiling |
| Time profiling: | | Building profiled applications |
| Time profiling: | | Creating profiles |
| Time profiling: | | Using mprof for time profiling |
| Time profiling: | | Optional features compilation model options |
| trace events: | | Tracing of Mercury programs |
| trace level: | | Preparing a program for debugging |
| Tracing: | | Debugging |
| Tracing: | | Tracing of Mercury programs |
| track (mdb command): | | Backward movement commands |
| Trail size: | | Environment |
| Trail size: | | Environment |
| Trailing: | | Optional features compilation model options |
| Trailing: | | Optional features compilation model options |
| trail_details (mdb command): | | Developer commands |
| Transitive intermodule optimization: | | Overall optimization options |
| trust (mdb command): | | Declarative debugging mdb commands |
| trusted (mdb command): | | Declarative debugging mdb commands |
| Type inference: | | Language semantics options |
| Type specialization: | | High-level (HLDS -> HLDS) optimization options |
| Type specialization, user guided: | | High-level (HLDS -> HLDS) optimization options |
| typecheck-ambiguity-error-limit: | | Miscellaneous options |
| typecheck-ambiguity-warn-limit: | | Miscellaneous options |
| type_ctor (mdb command): | | Developer commands |
|
| U | | |
| unalias (mdb command): | | Parameter commands |
| Undefined symbol: | | Compilation model options |
| unhide_events (mdb command): | | Developer commands |
| untrust (mdb command): | | Declarative debugging mdb commands |
| Unused arguments: | | High-level (HLDS -> HLDS) optimization options |
| Unused arguments: | | High-level (HLDS -> HLDS) optimization options |
| Unused outputs: | | High-level (HLDS -> HLDS) optimization options |
| Unused procedure elimination: | | High-level (HLDS -> HLDS) optimization options |
| up (mdb command): | | Browsing commands |
| user defined event attributes (in mdb): | | Mercury debugger concepts |
| user defined events (in mdb): | | Mercury debugger concepts |
| user_event_context (mdb command): | | Parameter commands |
| Using a different C compiler: | | C compilers |
|
| V | | |
| Variables, environment: | | Environment |
| Variables, Mmake: | | Using Mmake |
| vars (mdb command): | | Browsing commands |
| var_details (mdb command): | | Developer commands |
| Verbosity options: | | Verbosity options |
| view (mdb command): | | Browsing commands |
|
| W | | |
| Warning options: | | Warning options |
| web_browser_cmd (mdb command): | | Parameter commands |
| width (mdb command): | | Parameter commands |
|