static linking (was Re: [mercury-users] ICFP 2002)

[Simon Taylor]

On 12-Aug-2002, Michael Day <mikeday at yeslogic.com> wrote:
> 
> > 	MLFLAGS = --mercury-libs static
> 
> How exactly would one use this with mmc --make? I've tried a couple of
> combinations, but it seems to produce the same binary every time.

mmc --make --link-flags "--mercury-libs static"

Use `-v' to find out which commands are being executed.

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