Tim, On Tuesday, August 15, 2006 10:55 PM you wrote: > > patches applied. testing restarted. --t >
Do you recall that this patch also involves a new version of gcl-2.6.8pre? I am not sure whether the patch is applicable to the older version of gcl-2.6.8pre in the Axiom repositories. Regards, Bill Page. > -----Original Message----- > From: Camm Maguire [mailto:[EMAIL PROTECTED] > Sent: Friday, August 11, 2006 10:24 AM > To: [EMAIL PROTECTED] > Cc: [email protected]; [EMAIL PROTECTED]; > [EMAIL PROTECTED]; [email protected]; [EMAIL PROTECTED] > Subject: Re: NULL_OR_ON_C_STACK macro invalid (was: noweb) > > 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.lis > p: 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 > > _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
