[mercury-users] the "extras" package

[Robert Ernst Johann JESCHOFNIK]

Hi.

I just realised that I had not grabbed the "extras" package yet, so I
thought I would.. and am no faced with the task of installing them. heh.
I can compile a lib (I started with the complex_numbers one) but I have no
idea where to install it, and there is no target for install in
the Mmakefile..

How/where do I install these "extra" libraries?

thanks,
Rob

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