[m-dev.] mmc --make broken in rotd-2009-05-11?

Peter Ross pdross at gmail.com
Tue May 12 20:39:32 AEST 2009


On Tue, May 12, 2009 at 8:03 PM, Peter Wang <novalazy at gmail.com> wrote:
> On 2009-05-12, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> Hi,
>>
>> Is anyone else having trouble with mmc --make not being able to find the
>> .mih files?
>>
>> ** Error: file
>> `Mercury/hlc.gc.trseg/x86_64-unknown-linux-gnu/Mercury/mihs/array.mih'
>> not found: file
>> `Mercury/hlc.gc.trseg/x86_64-unknown-linux-gnu/Mercury/array.mih' not
>> found
>
> I managed to reproduce it :(  I probably broke it with a recent change.
>
Yes I've seen it, but never managed to reproduce it.

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