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

[Julien Fischer]

On Tue, 6 Mar 2007, Julian Fondren wrote:

> 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.

That's odd.  Could you please send me a copy of the file
config.log from that build.

> ...and, I'd assumed that mercury always
> bootstrapped.

If only that were true ...

>> (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 :-)

If the base grades are working then the .tr grades shouldn't
be a problem.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------