gcl-devel
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]