[Gcl-devel] Re: gcl-2.5.0

[Camm Maguire]

Greetings!

Matt Kaufmann <address@hidden> writes:

> This is great!  Thanks, Gordon and Camm.  I expect that we will distribute a
> Solaris/GCL-2.5.0 ACL2 saved image with ACL2.
> 
> I notice that the image size has gone up considerably using 2.5.0 instead of
> 2.3.8, even though both were built the same way:
> 
> -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
> 

I have unfortunately no immediate idea, but would be interested if
anyone can shed light or track it down.  I joined the gcl fan club at
2.4.0.  It is possible that the newer bfd relocation method is
somewhat to blame, though I have not noticed this elsewhere.  One
could test by rebuilding gcl with --disable-statsysbfd
--enable-custreloc to regain the old relocation code (which works
*only* on sparc and x86, hence the bfd alternative).

Take care,

> Any ideas on this?  We go through some trouble when building what we call a
> "small" ACL2 image to eliminating extra stuff, notably documentation strings
> for our source functions.
> 
> Thanks --
> -- Matt
>    From: "Gordon Shaw Novak" <address@hidden>
>    Date: Mon, 11 Nov 2002 10:52:58 -0600
>    Cc: address@hidden, address@hidden, address@hidden
> 
>    Camm Maguire has made a new version of GCL-2.5.0 that seems to work
>    on Solaris.  I have copied it to /public/ and put in the command
>    gcl-2.5.0 in /p/bin for the solaris machines.
> 
>    Camm really deserves a lot of credit and thanks for all the hard work
>    he has done supporting this for us.
>    Best regards, Gordon
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah