
4 Feb
2009
4 Feb
'09
8:39 p.m.
On Wed, Feb 4, 2009 at 7:51 PM, Don Stewart
How portable?
By a funny coincidence, I was messing with strip a few days ago (for yi), and my discussion with dcoutts covered just this. He told me that -optl-s was considered bad, as that option gets passed to the linker and -s is apparently specific to GNU ld. The recommended approach (if you aren't going via Cabal, which strips by default) is to invoke the 'strip' executable. (My opinion on this is that it's nice to have but not imperative - with yi, adding a strip call saved more than 10M!) -- gwern