[Top][All Lists]
[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
- [Gcl-devel] Re: ACL2 compiling problems,
Camm Maguire <=