| 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 variables affecting the Mercury runtime system |
| --boehm-gc-free-space-divisor (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --c-debug : | | Target code compilation options |
| --c-debug : | | Target code compilation options |
| --c-debug-grade : | | MLDS back-end compilation model 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 |
| --color-diagnostics : | | Verbosity options |
| --color-scheme : | | Verbosity options |
| --colour-diagnostics : | | Verbosity options |
| --colour-scheme : | | Verbosity 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 variables affecting the Mercury runtime system |
| --coverage-test-if-exec (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --cutstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --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 |
| --deep-std-name : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --detstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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-inst-size-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 |
| --error-files-in-subdir : | | 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 variables affecting the Mercury runtime system |
| --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-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 variables affecting the Mercury runtime system |
| --genstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --heap-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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-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-only : | | Target options |
| --java-runtime : | | Target code compilation options |
| --java-runtime-flags : | | Target code compilation options |
| --javac : | | Target code compilation options |
| --javac-flags : | | Target code compilation options |
| --javac-flags : | | 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 variables affecting the Mercury runtime system |
| --max-engines (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --mdb-in (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mdb-in-window (mdb option) : | | Mercury debugger invocation |
| --mdb-out (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mdb-tty (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --mem-usage-report (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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-color-diagnostics : | | Verbosity options |
| --no-colour-diagnostics : | | Verbosity 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-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-redundant-coerce : | | 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-unneeded-mode-specific-clause : | | 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 variables affecting the Mercury runtime system |
| --nondetstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --pnegstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 |
| --reverse-error-order : | | Auxiliary output 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-call-tree : | | Auxiliary output options |
| --show-local-type-representations : | | Auxiliary output options |
| --show-make-times : | | Build system options |
| --show-pred-movability : | | Auxiliary output 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 variables affecting the Mercury runtime system |
| --small-detstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --small-nondetstack-size (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --small-nondetstack-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --solutions-heap-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --split-switch-arms : | | High-level (HLDS -> HLDS) optimization options |
| --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 variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --threadscope : | | Building profiled applications |
| --threadscope : | | Optional features compilation model options |
| --time-profiling : | | Optional features compilation model options |
| --trace-count (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-if-exec (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-output-file (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-summary-file (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --trace-count-summary-max (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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 variables affecting the Mercury runtime system |
| --trail-segment-size-kwords (runtime option) : | | Environment variables affecting the Mercury runtime system |
| --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-ambiguous-pragma : | | Warning options |
| --warn-can-fail-function : | | 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 variables affecting the Mercury runtime system |
| -d : | | Auxiliary output options |
| -D (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -E : | | Verbosity options |
| -e : | | Output options |
| -e (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -F : | | Link options |
| -H : | | MLDS back-end compilation model options |
| -h : | | Miscellaneous options |
| -i : | | Output options |
| -I : | | Build system options |
| -i (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -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 variables affecting the Mercury runtime system |
| -N : | | Verbosity options |
| -n : | | Auxiliary output options |
| -o : | | Using mmc |
| -O : | | Overall optimization options |
| -o : | | Link options |
| -o (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -P : | | Output options |
| -p (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -P (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -R : | | Link options |
| -r : | | Build system options |
| -S : | | Verbosity options |
| -s : | | Grades and grade components |
| -T (runtime option) : | | Environment variables affecting the Mercury runtime system |
| -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 |
|
/ | | |
| /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 |
| 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 |
| Color schemes: | | Color schemes |
| 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 |
| 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 variables affecting the Mercury runtime system |
| Cut stack size: | | Environment variables affecting the Mercury runtime system |
| 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 variables affecting the Mercury runtime system |
| 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 |
| Determinism inference: | | Language semantics options |
| Diagnostic output: | | Diagnostic output |
| 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: | | 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 |
| Enabling the use of color: | | Enabling the use of color |
| Environment variables: | | Environment |
| Environment variables affecting the Mercury compiler: | | Environment variables affecting the Mercury compiler |
| Environment variables affecting the Mercury debugger: | | Environment variables affecting the Mercury debugger |
| Environment variables affecting the Mercury runtime system: | | Environment variables affecting the Mercury runtime system |
| 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 names: | | Filenames |
| file names: | | Parameter commands |
| File names: | | Build system options |
| 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 variables affecting the Mercury runtime system |
| Generator stack size: | | Environment variables affecting the Mercury runtime system |
| 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 |
| Java runtime options: | | Target code compilation options |
| 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 subdirectory: | | Build system options |
| Mercury.options: | | Using Mmake |
| Mercury.options: | | Build system options |
| MERCURY_COLOR_SCHEME : | | Environment variables affecting the Mercury compiler |
| MERCURY_COMPILER : | | Environment variables affecting the Mercury compiler |
| MERCURY_DEBUGGER_INIT : | | Mercury debugger invocation |
| MERCURY_DEBUGGER_INIT : | | Environment variables affecting the Mercury debugger |
| MERCURY_DEFAULT_GRADE : | | Grades and grade components |
| MERCURY_DEFAULT_GRADE : | | Environment variables affecting the Mercury compiler |
| MERCURY_DEFAULT_GRADE : | | C compilers |
| MERCURY_ENABLE_COLOR : | | Environment variables affecting the Mercury compiler |
| MERCURY_LINKAGE : | | Using Mmake |
| MERCURY_MAIN_MODULES : | | Using Mmake |
| MERCURY_MKINIT : | | Environment variables affecting the Mercury compiler |
| MERCURY_OPTIONS : | | Running |
| MERCURY_OPTIONS : | | Environment variables affecting the Mercury runtime system |
| MERCURY_STDLIB_DIR : | | Environment variables affecting the Mercury compiler |
| 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 |
| NO_COLOR : | | Environment variables affecting the Mercury compiler |
|
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 |
| Ordering diagnostics: | | Ordering diagnostics |
|
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 variables affecting the Mercury runtime system |
| Pneg stack size: | | Environment variables affecting the Mercury runtime system |
| 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 |
| 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 variables affecting the Mercury runtime system |
| 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 variables affecting the Mercury runtime system |
| Trail size: | | Environment variables affecting the Mercury runtime system |
| 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 |
| Verbose diagnostics: | | Verbose vs nonverbose messages |
| Verbosity: | | Verbose vs nonverbose messages |
| 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 |
|