[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: address@hidden: resuming]
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: address@hidden: resuming] |
Date: |
16 May 2007 15:30:41 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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