[mercury-users] --mld option discrepancy?

[doug.auclair at logicaltypes.com]

... so I guess one must really use the 'Mercury.options'
files when building executables that include non-mercury-standard
librarys.  'mmc' straight-up (no assisting Mercury.options file)
required some hairy directory additions on all of the following
flags:

-L, --c-include-directory, -I, --mld

But with the Mercury.options file present with appropriate
variables defined as per 6.4 of the user's manual, all
these optional arguments were no longer necessary.

Lesson learnt!  Please forgive the intrusion.

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