mercury_config − generate new configurations for a Mercury installation
mercury_config [<options>] [−− <configure options>]
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.
−−rebase
Use this option after moving a Mercury installation to regenerate the scripts and configuration files so that the Mercury installation will work from the new location.
−−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.
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.
MERCURY_DEFAULT_GRADE.
The Mercury team.
This program and its documentation are copyright by the University of Melbourne and the Mercury team. They may be copied only under the terms of the GNU General Public License − see the file COPYING in the Mercury distribution.
The Mercury User’s Guide.
<http://www.mercurylang.org/information/documentation.html>