[mercury-users] Mercury on Solaris

Michael Day mikeday at bigpond.net.au
Tue May 7 16:30:52 AEST 2002


> I don't know which test case(s) the rotd-2002-05-02 version failed on
> Solaris, because we only preserve the results of the last three test runs.

So, if no one knows why Mercury doesn't work on Solaris, perhaps the best 
thing for me to do is run the test cases myself.

Except that I don't know how to. When I go into "tests" and run mmake, I 
get a message that it doesn't know how to build cqueens. Any tips?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list