[mercury-users] Mercury seems OK on Gentoo Linux/PS3

Julian Fondren ayrnieu at gmail.com
Wed Mar 7 01:42:51 AEDT 2007

On 3/6/07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> On Tue, 6 Mar 2007, Julian Fondren wrote:
> Out of curiosity have you tried bootstrapping the compiler on this
> platform yet?

> Why are you using reg.gc anyway?  The configure script should
> only have chosen that if asm_fast could not work.

It seems to be the default grade, but then asm_fast.gc seems
to work anyway.  ...and, I'd assumed that mercury always
bootstrapped.  Doing that now.

> (The hl grades should also be usable although they are less
> useful since lco and tabling are not (currently) supported
> in those grades.)

After this, I most want to get .tr grades to use the new
facilities in rotd :-)

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