Re: [Gcl-devel] Re: gcl-2.5.0

[Mike Thomas]

Hi there.

> > -rwxrwxr-x    1 kaufmann acl2     18818816 Nov  7 04:06 gcl-osaved_acl2
> > -rwxrwxr-x    1 kaufmann acl2     28360331 Nov 11 22:54 gcl-saved_acl2

In the context of g++ I saw an email recently that claimed that under gcc
version 2.9.x binary stripping (-s flag) is on by default, whereas under 3.x
it is off.

I stripped the saved_gcl executable and got the following relative file
sizes:

Unstripped:
-rwxr-xr-x    1 miketh   Administ  3428176 Nov 15 14:19
unixport/saved_gcl.exe

Stripped:
-rwxr-xr-x    1 miketh   Administ  1447936 Nov 15 14:16
unixport/saved_gcl.exe

The stripped executable crashes presumably because the Win32 rsym linking is
messed up by a post-save strip, however on first glance, this may be the
reason for the file size increase - you'll have to test on your own system
and try turning -s on and off etc.

Cheers

Mike Thomas.