Greetings! Robert Boyer <[EMAIL PROTECTED]> writes:
> Thanks for the extra room. > > Ok, there are two things to say. > > 1. Boyer should just shut up. Camm's observation that you Please no, your comments are most valuable. > are still running with a 24-bit cons is quite accurate and > is probably a fair bit of your problem/solution. You'll > notice, for example, that in your (room t), the "cons" and > "fixnum" entries are in different "spaces" (3 32-bit words > vs. 2 32-bit words), whereas in "my" (room t) last sent, > both cons and fixnum are both in 2 32-bit word space, thanks > to Camm's two-word-cons magic, which is still desperately > trying to get released to the world. So your #1 objective > could well be to try to build a big, static, ansi, 2.7.0, > ACL 3.0, wherein a cons only takes up 16-bits, like I do > routinely, when the 2.7.0 is not broken as it naturally is > because it "is" what Camm is working on more or less, > yesterday. Instructions on how to build aforesaid 2.7.0 > follow immediately under separate cover. > Just a clarification: 32bit machine, 2.6.x cons : 3 words, 12 bytes, 96 bits 32bit machine, 2.7.x cons : 2 words, 8 bytes, 64 bits unless I am confused, as is typical! Take care, > 2. Still Boyer may have been 10% right once a day. Your > last "hole" number of 79530 pages is somewhat crimping your > cons space. A mere waste of 13 million potential conses? > Maybe. > > If you can see it, you might find that > > wget http://www.cs.utexas.edu/users/boyer/gcl/xa > > which is in "reality" > > -rwxr-xr-x 1 boyer prof 209105329 Jun 21 14:08 > /u/boyer/acl2/acl2-sources/saved_acl2.gcl > > > will work for you. This sometimes does work in parallel > universes, at least if one sets compiler::*cc* right. See > below. > > Bob > > ------------------------------------------------------------------------------- > > ACL2>% xa > GCL (GNU Common Lisp) 2.7.0 ANSI Jun 21 2006 13:30:08 > Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd) > ... > Temporary directory for compiler files set to /tmp/ > > ACL2 Version 3.0 built June 21, 2006 14:05:02. > ... > ACL2 Version 3.0. Level 1. Cbd "/v/filer2/boyer/". > ... > ACL2 !>:q > > Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP). > ACL2>compiler::*cc* > > "gcc -c -g -Wall -fsigned-char -pipe -g " > > ACL2>% which gcc > /lusr/bin/gcc > % gcc --version > gcc (GCC) 3.3.4 > Copyright (C) 2003 Free Software Foundation, Inc. > This is free software; see the source for copying conditions. There is NO > warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. > > Why Camm is slowing us down with the double -g today beats me. > > > > -- 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