man mercury_config (Commandes) - .SH "NAME "

NAME

mercury_config - .SH "NAME "

VERSION

NAME

mercury_config - generate new configurations for a Mercury installation

SYNOPSIS

mercury_config [<options>] [-- <configure options>]

NOTES

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



 --output-prefix <dir>
	Generate the new copies of the Mercury scripts and
	configuration files into the given directory.
	By default mercury_config overwrites the configuration in
	the installation hierarchy containing the mercury_config
	script.

OPTIONS

DESCRIPTION

Generates an alternative configuration for a Mercury installation, for example to use a different C compiler.

The <configure options> must result in a configuration which is compatible with the configuration used to build the installed libraries, or else linking using the new configuration will fail. For example, both configurations must agree on the use of boxed or unboxed floats.

To use the new configuration, put `<dir>/bin' at the beginning of your PATH.

ENVIRONMENT VARIABLES

MERCURY_DEFAULT_GRADE.

CONFIGURE OPTIONS

`configure' configures this package to adapt to many kinds of systems.

SYNOPSIS

To assign environment variables (e.g., CC, CFLAGS...), specify them as VAR=VALUE. See below for descriptions of some of the useful variables.

Defaults for the options are specified in brackets.

CONFIGURATION

-h, --help display this help and exit

--help=short display options specific to this package

--help=recursive display the short help of all the included packages

-V, --version display version information and exit

-q, --quiet, --silent do not print `checking...' messages

--cache-file=FILE cache test results in FILE [disabled]

-C, --config-cache alias for `--cache-file=config.cache'

-n, --no-create do not create output files

--srcdir=DIR find the sources in DIR [configure dir or `..']

INSTALLATION DIRECTORIES

--prefix=PREFIX install architecture-independent files in PREFIX

[/usr/local/mercury-rotd-2004-05-11]

--exec-prefix=EPREFIX install architecture-dependent files in EPREFIX

[PREFIX]

By default, `make install' will install all the files in `/usr/local/mercury-rotd-2004-05-11/bin', `/usr/local/mercury-rotd-2004-05-11/lib' etc. You can specify an installation prefix other than `/usr/local/mercury-rotd-2004-05-11' using `--prefix', for instance `--prefix=/home/buildd'.

For better control, use the options below.

FINE TUNING OF THE INSTALLATION DIRECTORIES

--bindir=DIR user executables [EPREFIX/bin]

--sbindir=DIR system admin executables [EPREFIX/sbin]

--libexecdir=DIR program executables [EPREFIX/libexec]

--datadir=DIR read-only architecture-independent data [PREFIX/share]

--sysconfdir=DIR read-only single-machine data [PREFIX/etc]

--sharedstatedir=DIR modifiable architecture-independent data [PREFIX/com]

--localstatedir=DIR modifiable single-machine data [PREFIX/var]

--libdir=DIR object code libraries [EPREFIX/lib]

--includedir=DIR C header files [PREFIX/include]

--oldincludedir=DIR C header files for non-gcc [/usr/include]

--infodir=DIR info documentation [PREFIX/info]

--mandir=DIR man documentation [PREFIX/man]

SYSTEM TYPES

--build=BUILD configure for building on BUILD [guessed]

--host=HOST cross-compile to build programs to run on HOST [BUILD]

OPTIONAL FEATURES

--disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)

--enable-FEATURE[=ARG] include FEATURE [ARG=yes]

--enable-gcc-back-end enable the Mercury compiler's GCC back-end interface

--disable-aditi-back-end

disable the Mercury compiler's Aditi back-end

--enable-deep-profiler=<directory>

install deep profiler CGI script in <directory>

--enable-inefficient-grades

install inefficient versions of the library

--disable-most-grades install only the essential versions of the library

--enable-nogc-grades install no-gc versions of the library

--enable-agc-grades install accurate GC versions of the library

--disable-prof-grades do not install profiling versions of the library

--disable-trail-grades do not install trailing versions of the library

--disable-par-grades do not install thread-safe versions of the library

--enable-mm-grades install minimal model versions of the library

--enable-hlc-prof-grades

install profiling versions of the high level C grade

--disable-dotnet-grades do not install the .NET grades

--disable-java-grade do not install the Java grade

--enable-libgrades=...

install exactly the given versions of the library.

The versions are specified using a comma-separated list.

--disable-extern-debug disable the external (separate process) debugger

--disable-dynamic-link disable the use of dynamic linking

--enable-new-mercuryfile-struct

enable new MercuryFile struct.

OPTIONAL PACKAGES

--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]

--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)

--with-cc=<program> Specify which C compiler to use.

--with-msvcrt

use the MS Visual C runtime if using MS C compiler.

--without-readline Don't use the GPL'd GNU readline library

SOME INFLUENTIAL ENVIRONMENT VARIABLES

CC C compiler command

CFLAGS C compiler flags

LDFLAGS linker flags, e.g. -L<lib dir> if you have libraries in a

nonstandard directory <lib dir>

CPPFLAGS C/C++ preprocessor flags, e.g. -I<include dir> if you have

headers in a nonstandard directory <include dir>

CPP C preprocessor

Use these variables to override the choices made by `configure' or to help it to find libraries and programs with nonstandard names/locations.

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.