[mercury-users] Using not installed libraries

[Ondrej Bojar]

Hi.

The scenario of using libraries as described in the current snapshot of
Users' Guide is very nice. However, if a library is still under the
development, it would be nicer to have also a chance to use the library
when not installed yet.

In the Mmakefile where the library should be used, I'd love to write
something like:

EXTRA_NONINSTALLED_LIBRARIES=foo
EXTRA_NONINSTALLED_LIB_DIRS= /sdfasdf/sdf/sdg/dfg

I guess, there is a way how to setup appropriate inclusion directories for
all those mmc, mgnuc, to do the same thing, but I don't know how to set
the variables in a clean way. I mess around and always end up on a .mih or
.intX missing.

Thanks, Andrew.

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