Greetings! Sandip Ray <[EMAIL PROTECTED]> 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:[EMAIL PROTECTED]:/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 <[EMAIL PROTECTED]> > \\ Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed > \\ Reply-To: [EMAIL PROTECTED] > \\ Sender: [EMAIL PROTECTED] > \\ 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. > \\ > \\ [EMAIL PROTECTED] 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 > \\ [EMAIL PROTECTED] acl2-sources]$ > \\ > \\ ========================================================================= > \\ > \\ [EMAIL PROTECTED] 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
