Greetings! Again my apologies, I forgot to mention at your site that the following is necessary:
./configure --disable-statsysbfd --enable-locbfd && make Please let me know if problems persist. Take care, Matt Kaufmann <[EMAIL PROTECTED]> writes: > Thanks -- I use csh so I did > > setenv CVSROOT :pserver:[EMAIL PROTECTED]:/sources/gcl > > and that worked. > > But when I did > > ./configure && make > > in directory gcl-2.6.8pre/, I got an error, as shown below. For what > it's worth, I don't think we care about readline here at UT. > > ============================================================ > > .... > > -e "[EMAIL PROTECTED]@#\"init_pre_gcl.lsp\"#1" >init_pre_gcl.lsp > touch raw_pre_gcl_map > gcc -o raw_pre_gcl \ > -L. -Wl,-Map raw_pre_gcl_map -lpre_gcl -lSM -lICE -L/lusr/X11R6/lib > -lXmu -lXt -lXext -lXaw -lX11 -lm /lusr/gnu/lib/libbfd.a > /lusr/opt/gcc-3.3.4/lib/libiberty.a -lreadline -lncurses -lc -lgclp > /lusr/gnu/lib/libbfd.a(cache.o): In function `bfd_open_file': > /u/fool/Work/build/gdb-6.4/bfd/cache.c:515: undefined reference to > `unlink_if_ordinary' > collect2: ld returned 1 exit status > make[1]: *** [raw_pre_gcl_map] Error 1 > make[1]: Leaving directory > `/v/filer3/v0q048/acl2/lisps/gcl/gcl-2.6.8pre/unixport' > make: *** [unixport/saved_pre_gcl] Error 2 > lhug-2:/v/filer3/v0q048/acl2/lisps/gcl/gcl-2.6.8pre> > > ============================================================ > > I'm using 32-bit linux on a 64-bit machine: > > lhug-2:/v/filer3/v0q048/acl2/lisps/gcl/gcl-2.6.8pre> uname -a > Linux lhug-2.cs.utexas.edu 2.6.19.1 #2 SMP Wed Jan 3 13:26:45 CST 2007 i686 > unknown unknown GNU/Linux > lhug-2:/v/filer3/v0q048/acl2/lisps/gcl/gcl-2.6.8pre> > > I'm doing the build the way I do just about everything: In a shell > running under emacs. > > -- Matt > Sender: [EMAIL PROTECTED] > Cc: gcl-devel@gnu.org > From: Camm Maguire <[EMAIL PROTECTED]> > Date: 16 May 2007 15:30:41 -0400 > X-SpamAssassin-Status: Yes, hits=6.7 required=5.0 > X-UTCS-Spam-Status: No, hits=-20 required=200 > > 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 > > > -- 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
