Greetings! Robert Boyer <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
