[mercury-users] Debian package?

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Jun 1 14:25:33 AEST 2007

On Fri, 1 Jun 2007, Roy Ward wrote:

> Julien Fischer wrote:
>> The appropriate version of gcc for 0.13.1 would be gcc 3.4.
> Thanks for that.
> From the web page: http://www.mercury.cs.mu.oz.au/download/release.html
>>  We recommend GCC 3.4.x or 4.1.x.
> Is there some reason for using gcc 3.4 over gcc 4.1?

The 0.13 release were tested with 3.4 a lot more than with 4.1 (which
had only just been released then IIRC.)

> In unstable (where Mercury would first be going), gcc 4.1 is current, gcc
> 4.2 is on the way at some stage, and I've seen some discussion (can't find a
> link) about dropping some of the older gcc versions.

I'm not sure about 0.13 but the rotd is fine with gcc 4.1 on Debian 4.

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