The linker supports the following default options for pickles.
The created pickle is compressed with level
N (a single digit). By default the compression level
0, that is, no compression is employed.
Output the pickled functor as being executable (that is, with an additional header).
When invoked with option
-x the linker first outputs a header so that the output file may be interpreted by the operating system as an executable. Under Unix, the default behaviour is to use the following as header:
#shexec ozengine $0 "$@"
--execheader option allows you to specify a different header.
Uses the header given above in the description of
--execheader, except that
ozengine is replaced by STRING.
Reads in FILE and uses this as header. Under Windows, the default behaviour is to use the file provided in ozhome
/bin/ozwrapper.bin, where ozhome is Mozart's installation folder.
ozwrapper.bin is a Windows executable that launches
Reads in ozhome
/bin/FILE and uses it as header for executable files. Apart from
ozwrapperw.bin is supplied that launches
ozenginew instead of
ozengine. This option provides a convenient way to use this alternative wrapper.
When creating an executable functor, do it for the specified target platform rather than for the current host platform.
Denys Duchier, Leif Kornstaedt and Christian Schulte
Version 1.4.0 (20080702)