ml - .SH "NAME "

ml - Mercury Linker

ml [<ml options>] [-- <gcc options>] files...

ml is one of the development tools that are part of the Mercury distribution.

This manual page is limited to a brief summary. For further information see the Mercury User's Guide.

 -h, --help

	Print this help message.

 -v, --verbose

	Print each command before executing it.

 --no-demangle

	Don't pipe the output of the linker through the Mercury
	demangler.

 --allow-undef

 --allow-undefined

	Don't report an error if there are unresolved symbols.
	This option is only used if you are building a shared
	library (with `--make-shared-lib); when building
	executables, unresolved symbols are always errors.
	This option is useful when building shared libraries
	that are not intended to be self-contained.

 --print-grade

	Compute the grade of the Mercury libraries to link with based
	on the command line options, print it to the standard output,
	and then exit (don't actually link anything).

 --print-gc-grade

	Compute the base name of the garbage collection library to
	link with based on the command line options, print it to the
	standard output, and then exit (don't actually link anything).

 --print-link-command

	Print the command used to link executables.

 --print-shared-lib-link-command

	Print the command used to link shared libraries.

 --print-map

	Print a link map, via `ld --print-map'.

 --mercury-libs {shared, static, none}

	Specify which version of the standard Mercury libraries to
	link with:
		--mercury-libs shared
			Link with the shared libraries (*.so),
			if possible, otherwise with the static ones.
		--mercury-libs static
			Link with the static libraries (*.a).
		--mercury-libs none
			Don't link in the Mercury standard libraries.

 -shared, --shared

	Similar to `--mercury-libs shared', but applies to all
	libraries, not just the standard Mercury libraries.

 -static, --static

	Similar to `--mercury-libs static', but applies to all
	libraries, not just the standard Mercury libraries.

 --make-shared-lib

	Produce a shared library, rather than an executable.

 --mercury-standard-library-directory <directory>

 --mercury-stdlib-dir <directory>

	The directory in which to find the Mercury standard library.

 --no-mercury-standard-library-directory, --no-mercury-stdlib-dir

	Same as `--mercury-libs none'.

 --mercury-config-directory <directory>

 --mercury-config-dir <directory>

	The location of an alternative configuration
	(created with mercury_config) to use.

 -L <directory>, --lib-dir <directory>

	Include <directory> in the list of directories that the
	linker will use to search for libraries.

 -R <directory>, --shared-lib-dir <directory>

	Include <directory> in the list of directories that the
	dynamic linker will use to search for shared libraries.

 --leave-shared-lib-dirs-relative

	Don't convert relative shared library directory names
	into absolute paths.

 --no-leave-shared-lib-dirs-relative

	Convert relative shared library directory names into
	absolute paths.  This is the default.

 -t, --trace

	Link in the Mercury debugging libraries.
	This option is needed if any of the modules being linked
	were compiled with tracing enabled.  However, `--debug'
	implies `--trace', so if you're using `--debug',
	then you don't need to explicitly specify `--trace'.
	Note that `--trace' is incompatible with `--static'
	on some platforms (e.g. sparc-sun-solaris2.6).
	Implies `--include-initialization-code'.

 -r-, --no-readline

	Don't link in the GPL'd GNU Readline Library.

 -g, --c-debug, --no-strip

	Do not strip C debugging information.

 --no-main, --library

	Don't generate a `main()' function.
	Instead, generate a function
		mercury_main(int argc, char **argv);
	(declared in "mercury_init.h") that can be called
	from C code.
	(A more fine-grained interface is also available;
	see "mercury_init.h" for details.)

 -I <directory>, --init-file-directory <directory>

	Include <directory> in the list of directories searched to
	locate `.init' files.

 -w <label>, --entry-point <label>

	Set entry point to <label>.
	(Default value corresponds to main/2.)

 --runtime-flags <flags>

	Add <flags> to the list of flags to pass to the
	Mercury runtime.  Flags can also be passed at runtime
	in the MERCURY_OPTIONS environment variable.
	For the list of available flags, see the documentation
	for MERCURY_OPTIONS in the Environment chapter
	of the Mercury User's Guide.

 --init-c-file <filename>

	Output the generated C initialization program to the
	specified file, rather than sending it to the standard
	output.

 -a, --aditi

	Generate a function to upload Aditi-RL data to a database.
	This option is needed when interfacing with the Aditi
	deductive database system.

 -x, --extra-inits

	Search `.c' files for extra initialization functions.
	(This may be necessary if the C files contain
	hand-coded C code with `INIT' comments, rather than
	containing only C code that was automatically generated
	by the Mercury compiler.)

 --use-thread-libs

	Link with the POSIX thread libraries. This option is useful
	if a C library being linked with uses threads, but the
	Mercury code being linked doesn't.

 -s <grade>, --grade <grade>

 --target {il, c, java, asm}

 --il

 --asm-labels

 --gcc-non-local-gotos

 --gcc-global-registers

 -H, --high-level-code

 --parallel

 --gc {boehm, mps, accurate, none}

 -p, --profiling

 --profile-calls

 --profile-time

 --profile-memory

 --profile-deep

 --record-term-sizes-as-words

 --record-term-sizes-as-cells

 --use-trail

 --reserve-tag

 --use-minimal-model

 --pic-reg

 --no-stack-trace

 --debug

 --decl-debug

	See the documentation in the "Invocation" section
	of the Mercury User's Guide.

MERCURY_DEFAULT_GRADE, MERCURY_C_COMPILER, MERCURY_NONSHARED_LIB_DIR, MERCURY_MKINIT.

The Mercury team.

See <http://www.cs.mu.oz.au/mercury/contact/people.html>.

This program and its documentation are copyright by the University of Melbourne. They may be copied only under the terms of the GNU General Public License - see the file COPYING in the Mercury distribution.

<http://www.cs.mu.oz.au/mercury/information/documentation.html>

The Mercury User's Guide.

The GNU General Public License.