Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0

[Camm Maguire]

Greetings!  If you can let me know where this patch goes in the acl2
tree, I might try it if/when I get some time.  Is there a shorter
regression test that 3 hours???

Take care,

Matt Kaufmann <address@hidden> writes:

> Thanks very much for the confirmation.  By the way, since ACL2 runs in ANSI
> Lisps (at least, I think Allegro, CMUCL, and CLISP are ansi), it may be useful
> as a test vehicle particularly as GCL transitions to ansi.  ACL2 has about 6.9
> megabytes of sources (though a considerable amount of that is comments and
> documentation) and a test suite that takes about 3 hours on a fast machine.
> The current publicly available version
> (http://www.cs.utexas.edu/users/moore/acl2/) runs on GCL 2.4.0 but not GCL
> 2.5.0 but a development copy runs on both (or I can send a patch file --
> essentially the patch shown below).
> 
> Thanks --
> -- Matt
>    From: Gregory Wright <address@hidden>
>    Cc: address@hidden, address@hidden, address@hidden
>    Content-Type: text/plain
>    Date: 10 Aug 2002 12:47:17 -0400
> 
> 
>    On Sat, 2002-08-10 at 12:25, Matt Kaufmann wrote:
>    > Thanks.  So, probably it's the case that as long as the LISP package 
> exists, we
>    > can rename COMMON-LISP without breaking GCL.  Do I have that right?  That
>    > should be fine for purposes of ACL2, where we do something like this.
>    > 
>    > (let ((lisp-pkg (find-package "LISP")))
>    >   (when lisp-pkg
>    >     (rename-package "COMMON-LISP" "COMMON-LISP-renamed")
>    >     (let ((old-name (package-name lisp-pkg)) ; reuse old name, nicknames
>    >    (old-nicknames (package-nicknames lisp-pkg)))
>    >       (rename-package "LISP"
>    >                 old-name
>    >                 (cons "COMMON-LISP" old-nicknames)))))
>    > 
>    > >> (with the goal of a clean, multi-platform build of maxima and maybe
>    > >> acl2) ....
> 
>    This ought to be OK for now, but gcl developers really do need to come
>    up with a decision on when and how backward compatibility will be broken
>    in favor of ansi-fication. Just so everyone can know what version to use
>    with the least chance of unexpected surprises.
> 
>    Best Wishes,
> 
>    Greg
> 
>    -- 
> 
>    Gregory Wright
>    Chief Technical Officer
>    PacketStorm Communications, Inc.
>    20 Meridian Road
>    Eatontown, New Jersey 07724
> 
>    1 732 544-2434 ext. 206
>    1 732 544-2437 [fax]
>    address@hidden
> 
> 
> 

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