[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: ACL2 compilation using GCL
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: ACL2 compilation using GCL |
Date: |
10 Sep 2003 14:57:42 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: ACL2 compilation using GCL,
Camm Maguire <=