[mercury-users] --mld option discrepancy?

[doug.auclair at logicaltypes.com]

Dear all,

Hi!  I'm using rotd-2006-03-09.  When I `mmc --make' with
the --mld <dir> option, the system doesn't pick up the notion
that the used .m and .mh files are in that <dir>.  I also
must add the -I and the --c-include-dir options for the
compilation to proceed.

But I thought the user manual stated that --mld sets the
appropriate values for those (and other) flags.  Am I using
--mld incorrectly?  Is the compiler?

Sincerely,
Doug Auclair

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