gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: ACL2 compiling problems


From: Camm Maguire
Subject: [Gcl-devel] Re: ACL2 compiling problems
Date: 28 Nov 2005 19:54:24 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

Sandip Ray <address@hidden> writes:

> Thanks, Matt. 
> 
> I have now downloaded gcl 2.6.7 from the repository. However, it seems 
> that I cannot compile it on my machine. Here is the error it gives when 
> running configure:
> 
>   checking for randomized sbrk... yes
>   checking for randomized brk remedy... no
>   Cannot build with randomized sbrk
> 

Yes, the latest fedora core has changed their address randomization
behavior recently.  This is fixed in version 2.6.8pre, soon to become
2.6.8.  You can retrieve it thus:

export CVS_RSH=ssh
export CVSROOT=:ext:address@hidden:/cvsroot/gcl
cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre

Please let me know if problems persist.

Take care,

> 
> Thanks for any help.
> 
> --- Sandip.
> 
> On Mon, 28 Nov 2005, Matt Kaufmann wrote:
> 
> \\Hi, Sandip --
> \\
> \\I notice this line:
> \\
> \\GCL (GNU Common Lisp)  2.6.7 ANSI    Sep  9 2005 16:38:33
> \\
> \\The "ANSI" is probably the problem -- you need to use a non-ANSI GCL (which 
> has
> \\been the default for a long time, maybe forever -- but apparently not in the
> \\GCL you obtained).
> \\
> \\At some point ACL2 might support ANSI GCL, probably after GCL 2.7.0 becomes
> \\quite stable.  But "ANSI" should be avoided till then.
> \\
> \\-- Matt
> \\   X-IronPort-MID: 1695525694
> \\   X-SBRS: 4.2
> \\   X-BrightmailFiltered: true
> \\   X-Brightmail-Tracker: AAAAAA==
> \\   X-IronPort-AV: i="3.97,385,1125896400"; 
> \\      d="scan'208"; a="1695525694:sNHT17648268"
> \\   Date: Mon, 28 Nov 2005 16:32:41 -0600 (CST)
> \\   From: Sandip Ray <address@hidden>
> \\   Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
> \\   Reply-To: address@hidden
> \\   Sender: address@hidden
> \\   X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN
> \\   X-SpamAssassin-Status: No, hits=-2.4 required=5.0
> \\   X-UTCS-Spam-Status: No, hits=-208 required=180
> \\
> \\   Hello,
> \\
> \\   I have been having trouble compiling ACL2 version 2.9.3 on Linux Fedora 
> \\   core 4, and I was wondering if anyone else have had the problem and know 
> \\   how to solve it. I am using gcl 2.6.7. When I try to use make to compile 
> \\   ACL2 I get the following error:
> \\
> \\      Compile FAILED: acl2-status.txt should contain :COMPILED.
> \\
> \\   I then tried compiling it manually and it seems that the function 
> \\   compile-acl2 returns the following error:
> \\
> \\   ACL2>(compile-acl2)
> \\
> \\   Raw Lisp Break.
> \\   Error in COMPILE-ACL2 [or a callee]: The function WITH-COMPILATION-UNIT 
> is 
> \\   undefined.
> \\
> \\   Thanks for any help. I have appended the full transcript below for both 
> \\   attempts in case it is useful.
> \\
> \\   --- Sandip.
> \\
> \\   address@hidden acl2-sources]$ make
> \\   rm -f acl2-fns.o
> \\   if [ "" = "r" ] ; then \
> \\   echo '(or (member :non-standard-analysis *features*) (push 
> \\   :non-standard-analysis *features*))' > acl2r.lisp ;\
> \\   elif [ "" = "" ] ; then \
> \\   echo ';(or (member :non-standard-analysis *features*) (push 
> \\   :non-standard-analysis *features*))' > acl2r.lisp ;\
> \\   else \
> \\   echo 'Please supply either r or the empty string for make variable 
> NONSTD, 
> \\   not  .' ;\
> \\   exit 1 ;\
> \\   fi
> \\   rm -f workxxx
> \\   rm -f acl2-fns.o acl2-fns.lbin acl2-fns.sbin acl2-fns.fasl 
> acl2-fns.wfasl 
> \\   \
> \\      acl2-fns.fas acl2-fns.lib acl2-fns.sparcf acl2-fns.ufsl acl2-fns.x86f 
> \
> \\          acl2-fns.dfsl
> \\   echo '(load "init.lisp")' > workxxx
> \\   echo '(acl2::compile-acl2 )' >> workxxx
> \\   echo '(acl2::exit-lisp)' >> workxxx
> \\   gcl < workxxx
> \\   GCL (GNU Common Lisp)  2.6.7 ANSI    Sep  9 2005 16:38:33
> \\   Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
> \\   Binary License:  GPL due to GPL'ed components: (READLINE BFD UNEXEC)
> \\   Modifications of this banner must retain notice of a compatible license
> \\   Dedicated to the memory of W. Schelter
> \\
> \\   Use (help) to get some basic information on how to use GCL.
> \\
> \\   >
> \\   Loading init.lisp
> \\   Loading acl2r.lisp
> \\   Finished loading acl2r.lisp
> \\   Loading acl2-init.lisp
> \\   Loading acl2.lisp
> \\   Loading acl2-fns.lisp
> \\   Finished loading acl2-fns.lisp
> \\   Compiling acl2-fns.lisp.
> \\   End of Pass 1.
> \\
> \\   ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by 
> \\   iteration.
> \\   ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
> \\   ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was 
> \\   replaced by iteration.
> \\   ;; Note: Tail-recursive call of REV1@ was replaced by iteration.
> \\   ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced 
> by 
> \\   iteration.
> \\   End of Pass 2.
> \\   OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> \\   Finished compiling acl2-fns.lisp.
> \\   Loading acl2-fns.o
> \\   start address -T 0x85deda0 Finished loading acl2-fns.o
> \\   Finished loading acl2.lisp
> \\   Finished loading acl2-init.lisp
> \\   Finished loading init.lisp
> \\   T
> \\
> \\   >
> \\   Raw Lisp Break.
> \\   Error in ACL2::COMPILE-ACL2 [or a callee]: The function 
> \\   LISP::WITH-COMPILATION-UNIT is undefined.
> \\
> \\   Fast links are on: do (use-fast-links nil) for debugging
> \\   Broken at APPLY.  Type :H for Help.
> \\     1 (Abort) Return to top level.
> \\   dbl:>>make[1]: Entering directory `/u/acl2/v2-9-3/acl2-sources'
> \\   Compile FAILED: acl2-status.txt should contain :COMPILED.
> \\   make[1]: *** [check_compile_ok] Error 1
> \\   make[1]: Leaving directory `/u/acl2/v2-9-3/acl2-sources'
> \\   make: *** [full] Error 2
> \\   address@hidden acl2-sources]$
> \\
> \\   =========================================================================
> \\
> \\   address@hidden acl2-sources]$ gcl
> \\   GCL (GNU Common Lisp)  2.6.7 ANSI    Sep  9 2005 16:38:33
> \\   Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
> \\   Binary License:  GPL due to GPL'ed components: (READLINE BFD UNEXEC)
> \\   Modifications of this banner must retain notice of a compatible license
> \\   Dedicated to the memory of W. Schelter
> \\
> \\   Use (help) to get some basic information on how to use GCL.
> \\
> \\   >(load "init.lisp")
> \\
> \\   Loading init.lisp
> \\   Loading acl2r.lisp
> \\   Finished loading acl2r.lisp
> \\   Loading acl2-init.lisp
> \\   Loading acl2.lisp
> \\   Loading acl2-fns.lisp
> \\   Finished loading acl2-fns.lisp
> \\   Compiling acl2-fns.lisp.
> \\   End of Pass 1.
> \\
> \\   ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by 
> \\   iteration.
> \\   ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration.
> \\   ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was 
> \\   replaced by iteration.
> \\   ;; Note: Tail-recursive call of REV1@ was replaced by iteration.
> \\   ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced 
> by 
> \\   iteration.
> \\   End of Pass 2.
> \\   OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> \\   Finished compiling acl2-fns.lisp.
> \\   Loading acl2-fns.o
> \\   start address -T 0x85deda0 Finished loading acl2-fns.o
> \\   Finished loading acl2.lisp
> \\   Finished loading acl2-init.lisp
> \\   Finished loading init.lisp
> \\   T
> \\
> \\   >(in-package "ACL2")
> \\
> \\   #<"ACL2" package>
> \\
> \\   ACL2>(compile-acl2)
> \\
> \\   Raw Lisp Break.
> \\   Error in COMPILE-ACL2 [or a callee]: The function WITH-COMPILATION-UNIT 
> is 
> \\   undefined.
> \\
> \\   Fast links are on: do (use-fast-links nil) for debugging
> \\   Broken at APPLY.  Type :H for Help.
> \\     1 (Abort) Return to top level.
> \\   dbl:ACL2>>
> \\
> 
> 
> 
> 

-- 
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]