[m-dev.] --mercury-stdlib-dir argument?

[Ralph Becket]

I'm working in a workspace that I configured with --prefix=<dir>

There I've installed an updated version of the library.

I'm continuing to develop in the compiler subdirectory and use lmc
with WORKSPACE set appropriately to test its behaviour.

I think I need to pass --mercury-stdlib-dir <dir> to lmc to tell it
to use the workspace installed version of the library, but I'm not
having much luck.  Can someone tell me what subdirectory of <dir> needs
to be supplied to --mercury-stdlib-dir to make this work?

Ta,
-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------