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

Simon Taylor stayl at cs.mu.OZ.AU
Thu Apr 1 15:36:55 AEST 2004

On 01-Apr-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> 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?

<dir>/lib/mercury, same as for the EXTRA_LIB_DIRS Mmake variable.
It would be nicer if it accepted just <dir> as well.

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

More information about the developers mailing list