Greetings! My apologies:
export CVSROOT=:pserver:[EMAIL PROTECTED]:/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 <[EMAIL PROTECTED]> 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: [EMAIL PROTECTED] > Cc: gcl-devel@gnu.org > From: Camm Maguire <[EMAIL PROTECTED]> > 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 <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> > > Subject: resuming > > To: [EMAIL PROTECTED] > > CC: gcl-devel@gnu.org > > 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 [EMAIL > PROTECTED] > ========================================================================== > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > -- 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
