[mercury-users] Generating small and fast binaries in Mercury

Jonathan Morgan jonmmorgan at gmail.com
Mon Jul 2 16:36:10 AEST 2007

On 6/30/07, Alexsandro Soares <a_s_soares at yahoo.com.br> wrote:
>  Sometime ago someone told me that it's possible to compile Mercury compiler source code in order to  generate smaller and faster final binaries. This same person told me that this entire process can last for days. Is it true? Where can I find instructions to compile the source code in this way, both in Linux and Windows?
>  Thanks in advance for any answer.

There is a tool that tries to get the best results (faster code,
smaller executables, or whatever your criteria is) for any Mercury
program, called gator.  You will find it in mercury-extras, with
instructions on how to use it.  I imagine that it would take quite a
while working with the mercury compiler, given how large a code base
it is.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list