[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb)
From: |
Camm Maguire |
Subject: |
[Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb) |
Date: |
11 Aug 2006 10:23:46 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
I had to make the following modifications to 20050901 to work with the
latest 2.6.8pre:
/fix/t1/camm/debian/axiom/axiom-20050901/int/interp/hash.lisp: remove static
(clines "int mem_value(x ,i)object x;int i; { return ((short *)x)[i];}")
#+AKCL
(defentry memory-value-short(object int) (int "mem_value"))
/fix/t1/camm/debian/axiom/axiom-20050901/int/interp/cfuns.lisp: match
unsigned/signed
#+(AND KCL (NOT ELF))
(Clines
"int MYCOMBINE(i,j)"
"int i,j;"
"{"
"return ( (((((unsigned int)j) & 16777215) << 6)+((unsigned int)i)) %
1073741789);"
"}"
)
/fix/t1/camm/debian/axiom/axiom-20050901/int/interp/sockio.lisp: match
float/double
(clines "extern float sock_get_float();")
(defentry open_server (string) (int "open_server"))
(defentry sock_get_int (int) (int "sock_get_int"))
(defentry sock_send_int (int int) (int "sock_send_int"))
(defentry sock_get_string_buf (int string int) (int "sock_get_string_buf"))
(defentry sock_send_string_len (int string int) (int "sock_send_string_len"))
(defentry sock_get_float (int) (float "sock_get_float"))
The defentry code has been enhanced to support xgcl natively.
I just did a successful build of axiom 20050901 and acl2 3.0.1 with
the same maxpage -- hope this works for you, though you might still
have a stack/heap collision problem on your machine.
Take care,
"Page, Bill" <address@hidden> writes:
> Camm,
>
> On Thursday, August 10, 2006 1:59 PM you wrote:
> >
> > Greetings! FYI, just committed the removal of the
> > power of 2 constraint on maxpage in both cvs head and
> > version 2.6.8pre.
> >
>
> Thanks for looking into this.
>
> I just grabbed 2.6.8pre from cvs into a temp directory and
> created a replacement tarball for the Axiom build, thus:
>
> cd /home/page/temp-dir
> export CVSROOT=:pserver:address@hidden:/sources/gcl
> cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl
> tar czvf gcl-2.6.8pre.tgz gcl-2.6.8pre
> cd /home/page/axiom.build-improvements/zips
> mv gcl-2.6.8pre.tgz old_gcl-2.6.8pre.tgz
> mv /home/page/temp-dir/gcl-2.6.8pre.tgz .
> cd /home/page/axiom.build-improvements
>
> I edited the GCLOPTS in Makefile from
> --enable-maxpage=256*1024
> to
> --enable-maxpage=196*1024
> resulting in
>
> GCLOPTS=--enable-vssize=65536*2 --enable-statsysbfd \
> --enable-maxpage=196*1024
>
> in the default build for Axiom Silver build-improvements branch:
>
> make clean
> ./configure | tee build.log
> make 2>&1 | tee -a build.log
>
> The build proceeded much further than before - the GCL sub-build
> finished without errors - yeah! But the build of Axiom failed
> with the following error message quite far along into the
> interpsys build phase :(
>
> error: conflicting types for 'MYCOMBINE'
>
> This is not something I have seen before. This same source builds
> fine with the older version of 2.6.8pre and 128*256.
>
> Here is the tail end of the log. I can send you the rest if you
> like.
>
> Please let me know how I can help.
>
> Regards,
> Bill Page
>
> ----------
>
> ...
> 25 making /home/page/axiom.build-improvements/int/interp/cfuns.lisp from
> /home/page/axiom.build-improvements/src/interp/cfuns.lisp.pamphlet
> 24 making /home/page/axiom.build-improvements/obj/linux/interp/cfuns.o
> from /home/page/axiom.build-improvements/int/interp/cfuns.lisp
> /home/page/axiom.build-improvements/obj/linux/interp/cfuns.c:5238:
> error: conflicting types for 'MYCOMBINE'
> /home/page/axiom.build-improvements/obj/linux/interp/cfuns.h:15: error:
> previous declaration of 'MYCOMBINE' was here
> /home/page/axiom.build-improvements/obj/linux/interp/cfuns.c:5238:
> error: conflicting types for 'MYCOMBINE'
> /home/page/axiom.build-improvements/obj/linux/interp/cfuns.h:15: error:
> previous declaration of 'MYCOMBINE' was here
> make[4]: ***
> [/home/page/axiom.build-improvements/obj/linux/interp/cfuns.o] Error 255
> make[4]: Leaving directory
> `/home/page/axiom.build-improvements/src/interp'
> make[3]: *** [interpdir] Error 2
> make[3]: Leaving directory `/home/page/axiom.build-improvements/src'
> make[2]: *** [srcdir] Error 2
> make[2]: Leaving directory `/home/page/axiom.build-improvements'
> make[1]: *** [do-all] Error 2
> make[1]: Leaving directory `/home/page/axiom.build-improvements'
> make: *** [all] Error 2
> address@hidden axiom.build-improvements]$
>
> -----------
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Axiom-developer] FW: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- [Axiom-developer] Re: FW: [Axiom-mail] Re: noweb, Camm Maguire, 2006/08/09
- [Axiom-developer] NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/09
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/10
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/10
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Gabriel Dos Reis, 2006/08/10
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/10
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/10
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/24
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/30
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb),
Camm Maguire <=
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Vanuxem Grégory, 2006/08/11
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), root, 2006/08/14
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/15
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/15
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/16
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Ralf Hemmecke, 2006/08/16
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Gabriel Dos Reis, 2006/08/16
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/16
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Ralf Hemmecke, 2006/08/18