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" <[EMAIL PROTECTED]> 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:[EMAIL PROTECTED]:/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
> [EMAIL PROTECTED] axiom.build-improvements]$
>
> -----------
>
>
>
--
Camm Maguire [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/gcl-devel
