[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 16:41:54 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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 <address@hidden> writes:
> Thanks -- I use csh so I did
>
> setenv CVSROOT :pserver:address@hidden:/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 "address@hidden@#\"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: address@hidden
> Cc: address@hidden
> From: Camm Maguire <address@hidden>
> 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: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
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah