[Gcl-devel] Re: ACL2 compilation using GCL

[Camm Maguire]

Greetings!

1) Please make sure PTR_ALIGN is defined to 8 in your setup.

2) I'd like to know what steps you took to build you GCL.  YOu can
   post full configure and build output if you'd like.  I'd like the
   build to be easy. 

3) If 1) is not the issue, please let me know.

Take care,

"Fraij F. Zuhir" <address@hidden> writes:

> Hello Camm,
> Eventually I've successfully compiled GCL 2.6.1 on my machine-- Solaris.
> Unfortunately, I am having a problem in compiling ACL2. I am getting the
> attached error message.
> 
> I appreciate your help.
> Thanks,
> --Fares
> 
> 
> 
> ---------------------------------------------------------------
> fares on gecko: gcl
> GCL (GNU Common Lisp)  (2.6.1) Tue Sep  9 21:40:45 MDT 2003
> Licensed under GNU Library General Public License
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> Loading init.lsp
> 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 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
> Bus error
> -----------------------------------------------------------------
> 
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah