[Gcl-devel] Re: saving acl2

[Camm Maguire]

Greetings!

Robert Boyer <address@hidden> writes:

> One peculiarity that distinguishes an ultralarge 2.7.0 static gcl from an
> acl2 saved image built upon it is that when run under gdb, acl2 immediately
> causes a SIGSEV.  This does not happen in the gcl.  So maybe there is
> something screwy in the acl2 image from the gitgo.
> 
> Bob
> 

This is just SGC doing its thing.  To proceed in gdb, 'handle SIGSEGV
nostop noprint'.

I've just committed my first attempt at disabling the offending
functions when linking statically.  I've I've succeeded, you should
have 2Gb acl2 now.  Certain functions will fail, but do so gracefully
in lisp.

Probably could polish this a bit better.

Take care,

> -------------------------------------------------------------------------------
> 
> 
> % gdb /v/filer2/boyer/acl2/acl2-sources/saved_acl2.gcl
> GNU gdb 5.3
> Copyright 2002 Free Software Foundation, Inc.
> GDB is free software, covered by the GNU General Public License, and you are
> welcome to change it and/or distribute copies of it under certain conditions.
> Type "show copying" to see the conditions.
> There is absolutely no warranty for GDB.  Type "show warranty" for details.
> This GDB was configured as "i686-pc-linux-gnu"...
> (gdb) r
> Starting program: /v/filer2/boyer/acl2/acl2-sources/saved_acl2.gcl 
> 
> Program received signal SIGSEGV, Segmentation fault.
> 0x083e18e8 in memset ()
> (gdb) 
> 
> -------------------------------------------------------------------------------
> 
> gdb /u/boyer/gcl/gcl-2.7.0/unixport/saved_ansi_gcl
> GNU gdb 5.3
> Copyright 2002 Free Software Foundation, Inc.
> GDB is free software, covered by the GNU General Public License, and you are
> welcome to change it and/or distribute copies of it under certain conditions.
> Type "show copying" to see the conditions.
> There is absolutely no warranty for GDB.  Type "show warranty" for details.
> This GDB was configured as "i686-pc-linux-gnu"...
> (gdb) r
> Starting program: /v/filer2/boyer/gcl/gcl-2.7.0/unixport/saved_ansi_gcl 
> GCL (GNU Common Lisp)  2.7.0 ANSI    Oct  6 2005 16:45:26
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
> Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> 
> >
> 
> 
> 

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