[Gcl-devel] Re: address@hidden: resuming]

[Camm Maguire]

Greetings!

My apologies:

export CVSROOT=:pserver:address@hidden:/sources/gcl
cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl

Please let me know if problems persist.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
> 
> Sorry -- I got an error.  What do I need to do?
> 
> lhug-2:/v/filer3/v0q048/acl2/lisps/gcl> cvs -z9 -q co -d gcl-2.6.8pre -r 
> Version_2_6_8pre gcl
> cvs checkout: No CVSROOT specified!  Please use the `-d' option
> cvs [checkout aborted]: or set the CVSROOT environment variable.
> lhug-2:/v/filer3/v0q048/acl2/lisps/gcl> 
> 
> -- Matt
>    Sender: address@hidden
>    Cc: address@hidden
>    From: Camm Maguire <address@hidden>
>    Date: 16 May 2007 11:21:08 -0400
>    X-SpamAssassin-Status: Yes, hits=6.7 required=5.0
>    X-UTCS-Spam-Status: No, hits=-20 required=200
> 
>    Greetings!  OK, this should be fixed in 2.6.8pre now too -- cvs head
>    was already good.  Please check it out if you can and let me know if
>    problems persist for you.  
> 
>    cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl
>    cd gcl
>    ./configure && make
> 
>    Take care,
> 
>    Matt Kaufmann <address@hidden> writes:
> 
>    > P.S. In case it's helpful, here's an example showing that :r doesn't
>    > work.
>    > 
>    >   >(compile (defun fact (n acc) (if (zerop n) 1 (fact (1- n) (* n 
> acc)))))
>    > 
>    >   Compiling gazonk10.lsp.
>    >   End of Pass 1.  
>    > 
>    >   ;; Note: Tail-recursive call of FACT was replaced by iteration.
>    >   End of Pass 2.  
>    >   OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
>    >   Finished compiling gazonk10.lsp.
>    >   Loading gazonk10.o
>    >   start address -T 0x84196e0 Finished loading gazonk10.o
>    >   #<compiled-function FACT>
>    >   NIL
>    >   NIL
>    > 
>    >   >(fact 100000 1) ; interrupt partway through
>    > 
>    >   Error: Console interrupt.
>    >   Fast links are on: do (si::use-fast-links nil) for debugging
>    >   Error signalled by FACT.
>    >   Broken at SYSTEM:TERMINAL-INTERRUPT.  Type :H for Help.
>    >   >>:r
>    > 
>    >   Top level.
>    >   >
>    > 
>    > -- Matt
>    > From: Matt Kaufmann <address@hidden>
>    > Subject: resuming
>    > To: address@hidden
>    > CC: address@hidden
>    > Date: 10 May 2007 21:08:57 -0500
>    > 
>    > Hi, Camm --
>    > 
>    > It seems to me that years ago, one could interrupt GCL with control-c
>    > and then resume with :r.  But now, :r seems to quit always like :q.
>    > (I tried 2.6.5, 2.6.7. and 2.6.8pre; in 2.7.0 I actually got "Killed
>    > by signal 2." when I interrupted.)
>    > 
>    > Is there a command I can issue to GCL so that :r resumes?  This
>    > capability can be very useful to ACL2 users.
>    > 
>    > Thanks --
>    > - -- Matt
>    > ----------
>    > 
>    > 
>    > 
>    > 
> 
>    -- 
>    Camm Maguire                                               address@hidden
>    ==========================================================================
>    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> 
> 

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