Re: -target command-line option

> On Mon, 28 Apr 2008, Timothy Bourke wrote:
>> These are innocuous, but I wondered whether it would be worthwhile to
>> extend the -target option so that if its argument ends in a hyphen, like:
>>
>>    mlton -target mingw32-
>>
>> MLton would:
>>    1) set the target to mingw32
>>    2) set cc to mingw32-gcc
>>    3) _not_ add the -b argument
>>
>> If this idea finds any support I will attempt a patch. If not, I can
>> live with the warnings!
>
> Actually, you've been beaten to the punch:
>   http://mlton.org/cgi-bin/viewsvn.cgi?rev=6403&view=rev
>
> Wesley Terpstra noted similar issues with invoking the mingw cross
> compiler.  Recent gcc manual pages have recommended directly invoking
> <target>-gcc, rather than using gcc -b <target>.