Suffix of the file |
Type of the file |
Handled by: |
.pl, .pro |
Prolog source file |
pl2wam |
.wam |
WAM source file |
wam2ma |
.ma |
Mini-assembly source file |
ma2asm |
.s |
Assembly source file |
the assembler |
.c, .C, .CC, .cc, .cxx,
.c++, .cpp |
C or C++ source file |
the C compiler |
.fd |
Finite Domain constraint source file |
fd2c |
any other suffix (.o, .a,...) |
any other type
(object, library,...) |
the linker (C linker) |
-o[default]-o@-o|textbf3.4.3htoc FILE, --output[default]--output@--output|textbf3.4.3htoc FILE |
use
FILE as the name of the output file |
-W[default]-W@-W|textbf3.4.3htoc, --wam-for-native[default]--wam-for-native@--wam-for-native|textbf3.4.3htoc |
stop after producing WAM files(s) |
-w[default]-w@-w|textbf3.4.3htoc, --wam-for-byte-code[default]--wam-for-byte-code@--wam-for-byte-code|textbf3.4.3htoc |
stop after producing WAM for
byte-code file(s) (force --no-call-c) |
-M[default]-M@-M|textbf3.4.3htoc, --mini-assembly[default]--mini-assembly@--mini-assembly|textbf3.4.3htoc |
stop after producing mini-assembly
files(s) |
-S[default]-S@-S|textbf3.4.3htoc, --assembly[default]--assembly@--assembly|textbf3.4.3htoc |
stop after producing assembly files (s) |
-F[default]-F@-F|textbf3.4.3htoc, --fd-to-c[default]--fd-to-c@--fd-to-c|textbf3.4.3htoc |
stop after producing C files(s) from FD
constraint definition file(s) |
-c[default]-c@-c|textbf3.4.3htoc, --object[default]--object@--object|textbf3.4.3htoc |
stop after producing object files(s) |
--temp-dir[default]--temp-dir@--temp-dir|textbf3.4.3htoc PATH |
use PATH as directory
for temporary files |
--no-del-temp[default]--no-del-temp@--no-del-temp|textbf3.4.3htoc |
do not delete temporary files |
--no-decode-hexa[default]--no-decode-hexa@--no-decode-hexa|textbf3.4.3htoc |
do not decode hexadecimal predicate names |
-v[default]-v@-v|textbf3.4.3htoc, --verbose[default]--verbose@--verbose|textbf3.4.3htoc |
print executed commands |
-h[default]-h@-h|textbf3.4.3htoc, --help[default]--help@--help|textbf3.4.3htoc |
print a help and exit |
--version[default]--version@--version|textbf3.4.3htoc |
print version number and exit |
--pl-state[default]--pl-state@--pl-state|textbf3.4.3htoc FILE |
read FILE to set the
initial Prolog state |
--no-susp-warn[default]--no-susp-warn@--no-susp-warn|textbf3.4.3htoc |
do not show warnings for suspicious predicates |
--no-singl-warn[default]--no-singl-warn@--no-singl-warn|textbf3.4.3htoc |
do not show warnings for named singleton
variables |
--no-redef-error[default]--no-redef-error@--no-redef-error|textbf3.4.3htoc |
no not show errors for built-in predicate
redefinitions |
--foreign-only[default]--foreign-only@--foreign-only|textbf3.4.3htoc |
only compile foreign/1-2 directives |
--no-call-c[default]--no-call-c@--no-call-c|textbf3.4.3htoc |
do not allow the use of fd_tell,
'$call_c',... |
--no-inline[default]--no-inline@--no-inline|textbf3.4.3htoc |
do not inline predicates |
--no-reorder[default]--no-reorder@--no-reorder|textbf3.4.3htoc |
do not reorder predicate arguments |
--no-reg-opt[default]--no-reg-opt@--no-reg-opt|textbf3.4.3htoc |
do not optimize registers |
--min-reg-opt[default]--min-reg-opt@--min-reg-opt|textbf3.4.3htoc |
minimally optimize registers |
--no-opt-last-subterm[default]--no-opt-last-subterm@--no-opt-last-subterm|textbf3.4.3htoc |
do not optimize last subterm
compilation |
--fast-math[default]--fast-math@--fast-math|textbf3.4.3htoc |
use fast mathematical mode (assume integer
arithmetics) |
--keep-void-inst[default]--keep-void-inst@--keep-void-inst|textbf3.4.3htoc |
keep void WAM instructions in the output file |
--compile-msg[default]--compile-msg@--compile-msg|textbf3.4.3htoc |
print a compile message |
--statistics[default]--statistics@--statistics|textbf3.4.3htoc |
print statistics information |
--local-size[default]--local-size@--local-size|textbf3.4.3htoc N |
set default local stack size to
N Kb |
--global-size[default]--global-size@--global-size|textbf3.4.3htoc N |
set default global stack size to
N Kb |
--trail-size[default]--trail-size@--trail-size|textbf3.4.3htoc N |
set default trail stack size to
N Kb |
--cstr-size[default]--cstr-size@--cstr-size|textbf3.4.3htoc N |
set default constraint stack size to
N Kb |
--fixed-sizes[default]--fixed-sizes@--fixed-sizes|textbf3.4.3htoc |
do not consult environment variables at run-time
(use default sizes) |
--no-top-level[default]--no-top-level@--no-top-level|textbf3.4.3htoc |
do not link the top-level[default]top-level@top-level3.4.3htoc (force
--no-debugger[default]--no-debugger@--no-debugger3.4.3htoc) |
--no-debugger[default]--no-debugger@--no-debugger|textbf3.4.3htoc |
do not link the Prolog/WAM debugger |
--min-pl-bips[default]--min-pl-bips@--min-pl-bips|textbf3.4.3htoc |
link only used Prolog built-in predicates |
--min-fd-bips[default]--min-fd-bips@--min-fd-bips|textbf3.4.3htoc |
link only used FD solver built-in predicates |
--min-bips[default]--min-bips@--min-bips|textbf3.4.3htoc |
shorthand for: --no-top-level
--min-pl-bips --min-fd-bips |
--min-size[default]--min-size@--min-size|textbf3.4.3htoc |
shorthand² for: --min-bips --strip |
--no-fd-lib[default]--no-fd-lib@--no-fd-lib|textbf3.4.3htoc |
do not look for the FD library (maintenance only) |
-s[default]-s@-s|textbf3.4.3htoc, --strip[default]--strip@--strip|textbf3.4.3htoc |
strip the executable |
-L[default]-L@-L|textbf3.4.3htoc OPTION |
Pass OPTION to the linker |
--encode[default]--encode@--encode|textbf3.4.6htoc |
encoding mode (default mode is decoding) |
--relax[default]--relax@--relax|textbf3.4.6htoc |
decode also predicate names (not only predicate
indicators) |
--printf[default]--printf@--printf|textbf3.4.6htoc FORMAT |
pass encoded/decoded string to C
printf(3) with FORMAT |
--aux-father[default]--aux-father@--aux-father|textbf3.4.6htoc |
decode an auxiliary predicate as its father |
--aux-father2[default]--aux-father2@--aux-father2|textbf3.4.6htoc |
decode an auxiliary predicate as its father +
auxiliary number |
--cmd-line[default]--cmd-line@--cmd-line|textbf3.4.6htoc |
encode/decode each argument of the command-line |
-H[default]-H@-H|textbf3.4.6htoc |
same as: --cmd-line --encode |
-P[default]-P@-P|textbf3.4.6htoc |
same as: --cmd-line --relax |
--help[default]--help@--help|textbf3.4.6htoc |
print a help and exit |
--version[default]--version@--version|textbf3.4.6htoc |
print version number and exit |