[m-dev.] 11.07.1 --csharp-compiler... in scripts/Mercury.config... on Linux to delete??

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Mar 5 18:42:06 AEDT 2012

On Mon, 5 Mar 2012, Michael Richter wrote:

> On 5 March 2012 05:47, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
>> If you take a _fresh_ download of the source distribution you don't need
>> Mercury at all to build it.  The source download is half-built, that is to
>> say,
>> the .m files have already been compiled to .c files, so your system's gcc
>> can
>> simply finish it (just run configure like you normally would, making sure
>> that
>> there is no mmc in the path).
> If this is true, the configure script needs to lose the scary warnings
> about how unboxed floats won't be used because we don't have an mmc of
> the appropriate version.

The "scary" warning says that *after* installation you may wish to
recompile.  After (the first) installation you will have an appropriate
version of mmc.

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

More information about the developers mailing list