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.