[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: gcl-2.5.0

From: Camm Maguire
Subject: [Gcl-devel] Re: gcl-2.5.0
Date: 13 Nov 2002 13:53:39 -0500


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]