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

Simon Taylor stayl at
Mon Aug 12 14:40:42 AEST 2002

On 12-Aug-2002, Michael Day <mikeday at> 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.

mercury-users mailing list
post:  mercury-users at
administrative address: owner-mercury-users at
unsubscribe: Address: mercury-users-request at Message: unsubscribe
subscribe:   Address: mercury-users-request at Message: subscribe

More information about the users mailing list