[m-dev.] mercury installation

[Simon Taylor]

On 13-Jun-2002, Dong Yang <yangdong at cs.tu-berlin.de> wrote:
> I think the error happened by the mmake install.
> but for my wonder there are no log files generated.
> how can I let it be done?

`make install' writes its output to make_install.log,
or you could just do `mmake install >& errs'.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------