MERCURY_CONFIG(1)

πŸ“¦
version 22.01.8 Β· 3 versions
, in alpine 3.24

πŸ’– MERCURY_CONFIG(1) β€” bestie edition πŸŽ€

okay so. hi. you found mercury_config, and honestly? she's a little niche but she slays at exactly one thing, and that thing is making new configs for a Mercury installation. welcome to the group chat ✨

🌸 NAME 🌸

mercury_config β€” generate new configurations for a Mercury installation, no cap πŸ’…

πŸ¦‹ SYNOPSIS πŸ¦‹

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

πŸŽ€ NOTES πŸŽ€

so first things first: mercury_config is one of the development tools that are part of the Mercury distribution. she's in the crew 🫢

also, this manual page is limited to a brief summary β€” it's giving cliffnotes, not the whole saga. for further information see the Mercury User's Guide. iykyk πŸ“–

✨ OPTIONS ✨

  • --rebase β€” use this option after moving a Mercury installation, and she'll regenerate the scripts and configuration files so your Mercury installation works from the new location. basically she picks up her whole life and moves with you πŸ§³πŸ’–
  • --output-prefix <dir> β€” generate the new copies of the Mercury scripts and configuration files into the given directory <dir>. by default, mercury_config overwrites the configuration in the installation hierarchy containing the mercury_config script. so like, default behavior is "yes i'll redecorate in place", and this flag is "no actually, put the new stuff over here" πŸŽ€

πŸ”₯ DESCRIPTION πŸ”₯

she generates an alternative configuration for a Mercury installation β€” for example, to use a different C compiler. main character energy: same installation, new fit πŸ’…βœ¨

⚠️ okay this part is important, bestie β€” listen up. 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. fr fr. for example, both configurations must agree on the use of boxed or unboxed floats. they have to match. no mixing. periodt πŸ’€

to use the new configuration, put <dir>/bin at the beginning of your PATH. that's the whole trick 🫢


πŸ’œ ENVIRONMENT VARIABLES πŸ’œ

  • MERCURY_DEFAULT_GRADE β€” that's the one. that's the list 🌈

πŸ‘‘ AUTHORS πŸ‘‘

the Mercury team. icons only 🫢✨

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. respect the license, it's literally the rules πŸ’…

🌟 SEE ALSO 🌟


alright that's the whole page, bestie β€” go configure something iconic πŸ’–

Mercury Programmer's Manual β€” dated 2026-04-24 β€” this cutie is MERCURY_CONFIG(1), signing off πŸŽ€βœ¨

πŸ“¦ where this page comes from