[m-rev.] diff: ml --print-map

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Apr 14 16:13:31 AEST 2004

On 10-Apr-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> scripts/parse_ml_options.in:
> scripts/ml.in:
> 	Add an option, --print-map, that allows the user to request the linker
> 	to generate information that can be used to diagnose link problems.

The implementation of this option is not portable,
because not all linkers support the --print-map option.

Also, this change seems to be the thin end of a rather large wedge.
If we support this option specially in ml.in, I'm not sure where
we would stop... should we also support --trace-symbol?
What about all the other GNU ld options?

Therefore I think it would be better to add more generic support for
passing ld options, rather than this particular one.

Actually, there's already a way to pass ld options to ml,

	ml -- -Wl,--print-map -o foo foo.o foo_init.o

Perhaps the problem is that this isn't supported nicely by Mmake.

Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe

More information about the reviews mailing list