NAME
c2init - Create Mercury initialization file.
SYNOPSIS
c2init [options] *.c *.init ...
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.)
GRADE 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 VARIABLES
MERCURY_MOD_LIB_DIR, MERCURY_MOD_LIB_MODS, MERCURY_TRACE_LIB_DIR, MERCURY_TRACE_LIB_MODS, MERCURY_MKINIT.
AUTHORS
The Mercury team.
See <http://www.cs.mu.oz.au/mercury/contact/people.html>.
COPYRIGHT
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.
SEE ALSO
<http://www.cs.mu.oz.au/mercury/information/documentation.html>
The Mercury User's Guide.
The GNU General Public License.