c2init1

Usage

Notes

c2init 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.

Options

 -a, --aditi

	Generate a function to upload Aditi-RL data to a database.

 -c <n>, --max-calls <n>

	Break up the initialization into groups of at most <n> function
	calls.  (Default value of <n> is 40.)

 -i, --include-initialization-code

	Always include code that calls the initialization functions
	of the various modules. With this option, the debugger can use
	information from any modules that were compiled with execution
	tracing to print (partial) stack traces, and to print the
	values of variables in ancestors of the current call, even
	in grades in which this not normally possible.

 -t, --trace

	Enable execution tracing in the generated executable.
	Implies -i.

 -l, --library

	Don't generate a `main()' function.
	Instead, generate a function
		mercury_main(int argc, char **argv);
	(declared in "init.h") that can be called from C code.
	(A more fine-grained interface is also available;
	see "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.)

 -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.)

Options

 -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 {conservative, accurate, none}

 -p, --profiling

 --profile-calls

 --profile-time

 --profile-memory

 --use-trail

 --use-minimal-model

 --pic-reg

 --no-stack-trace

 --debug

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

Environment

MERCURY_MOD_LIB_DIR, MERCURY_MOD_LIB_MODS, MERCURY_TRACE_LIB_DIR, MERCURY_TRACE_LIB_MODS, MERCURY_MKINIT.