Thanks. I'm afraid my question wasn't clear (sorry). I know about the --enable-ansi switch (but I appreciate the information about what has been seen to work with it). However, in past years, ACL2 failed badly when build on top of a GCL that had been built with that switch. The good news is that in recent months I've worked with Camm to iron out most or all such issues. What I don't know, though, is whether fixes for those issues were incorporated into 2.6.8, 2.6.9, both (which is my guess), or neither (perhaps waiting for 2.7.0 to incorporate fixes). Since over the years I have sometimes experienced GCL errors that are intermittent, I figured I'd just ask rather than do testing that could be incomplete.
Anyhow, I hope that clarifies. Thanks to everyone who is contributing to GCL! I'm very happy to see the progress. Regards, Matt Date: Thu, 05 Sep 2013 00:44:30 +0200 From: John Lapeyre <lapeyre.math1...@gmail.com> CC: Donald Winiecki <dwinie...@boisestate.edu>, fricas-de...@googlegroups.com, gcl-devel@gnu.org, open-axiom-de...@lists.sf.net, max...@math.utexas.edu, axiom-develo...@nongnu.org This is a multi-part message in MIME format. --------------060608030209050904060606 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit On 09/04/2013 11:37 PM, Matt Kaufmann wrote: > Thank you, Don. If there's a complete list of platforms for which > ANSI builds are expected to work for 2.6.9, and if possible one for > 2.6.8 as well, I'd be interested. In particular, it would be nice to > know whether 2.6.9 ANSI builds on Linux are expected to work. On x86_64 linux, I built gcl 2.6.8, and 2.6.9 with ./configure --enable-readline --enable-ansi --prefix=/usr/local/gcl-2.6.8 (9) and maxima with export GCL_ANSI=y ./configure --enable-gcl --prefix=/usr/local/maxima-5.31.0-gcl-2.6.8 (9) --with-gcl=/usr/local/bin/gcl-2.6.8 (9) Maxima passed all tests, for each of 2.6.8 and 2.6.9 I'm not sure what the flag does, but the doc says. --enable-ansi builds a large gcl aiming for ansi compliance I built Maxima with the latest stable versions gcl,ccl,cmucl,clisp,sbcl,ecl, and gcl (2.6.8 and 2.6.9 ) is the only one that still fails to load asdf. > > Thanks -- > -- Matt > From: Donald Winiecki <dwinie...@boisestate.edu> > Date: Wed, 4 Sep 2013 15:32:02 -0600 > Cc: Camm Maguire <c...@maguirefamily.org>, > "GCL-devel@gnu.org" <gcl-devel@gnu.org>, max...@math.utexas.edu, > fricas-de...@googlegroups.com, > Axiom-Developer <axiom-develo...@nongnu.org>, > open-axiom-de...@lists.sf.net > > Hi Matt, > > Right now, both 2.6.8 builds both CLtL1 and ANSI on my Ubuntu 12.10 > and WinXP, WinVista and Win7. > > 2.6.9 builds CLtL1 and ANSI on WinXP, but not yet on WinVista or Win7. > > Best, > > _don > > > > On Wed, Sep 4, 2013 at 3:22 PM, Matt Kaufmann <kaufm...@cs.utexas.edu> wrote: > > Hi, Camm -- > > > > Should we expect 2.6.8 and 2.6.9 to support ANSI builds (i.e., using > > configure option --enable-ansi)? > > > > Thanks - > > -- Matt > > From: Camm Maguire <c...@maguirefamily.org> > > Date: Tue, 27 Aug 2013 11:48:24 -0400 > > > > Greetings! The GCL team is happy to announce a pair of stable releases > > at > > > > ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.8.tar.gz > > and > > ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.9.tar.gz > > > > Please also see the homepage and release notes at > > > > http://www.gnu.org/software/gcl. > > > > The 2.6.8 release represents several years worth of fixes and > > enhancements, notably a great extension of GCL's native object file > > relocation support. > > > > 2.6.9 is released concurrently as it contains a number of structural > > improvements which, while passing all our tests, may cause issues for > > some people. These improvements are chiefly a two word cons, immediate > > fixnum support, word sized fixnums (64bits on 64bit machines), and a > > 'dynamic maxpage' implementation, which removes all compile time limits > > to the heap size and auxiliary typing and marking tables. 2.6.9 will > > attempt to manage the heap given the apparent constraints of the running > > system, with the goal of eliminating allocation failures and handling > > out of memory conditions in advance with a modicum of grace. As this > > involves a runtime startup probe of brk, which has varying degrees of > > significance in different operating systems, one might still experience > > overallocation of memory (notably on hurd). In such cases, > > > > gcl -eval '(si::set-log-maxpage-bound x)' > > > > will limit the heap to 2^x bytes as a workaround. > > > > All gcl, maxima, acl2, axiom, and hol88 builds and self tests pass for > > the following platforms, with noted exceptions(*) itemized below: > > > > debian: amd64 armel armhf hurd-i386 i386 ia64 kfreebsd-amd64 > > kfreebsd-i386 mips mipsel powerpc s390 s390x sparc > > > > debian-ports: alpha hppa m68k powerpcspe ppc64 sh4 sparc64 x32 > > > > macosx, windows > > > > *exceptions > > > > 1) all systems use native object relocation by default now but ia64 and > > ppc64, which use dlopen. Thus there is a typical limit of 1024 files > > that can be loaded, and the current acl2 build exceeds this limit. As > > this bound is runtime configurable with root access, this is not an > > insurmountable obstacle. > > > > 2) kfreebsd-i386 systems do not appear to allow one to brk more than > > 500M of memory, and the acl2 certification process needs 1Gb. A > > solution here is as yet unknown but may be forthcoming shortly. > > > > 3) windows builds have been performed on win95. There is an as yet > > unidentified runtime error running the 2.6.9 images on win7. More > > information here will be forthcoming shortly. > > > > Windows installers can be found at ftp://ftp.gnu.org/gnu/gcl. > > > > 4) macosx builds have been tested on snow leopard. More recent versions > > appear to have a linker bug which prevents configure from detecting the > > provided profil() routine. A workaround here should be to > > > > echo "#undef NO_PROFILE >>h/config.h" > > > > after configure and before make. > > > > > > GCL has moved to the git version control system. The 2.6.8 and 2.6.9 > > branches and tags are identical in cvs and git. Henceforward, > > modifications will be made to git only. As of the present writing, git > > contains a merge of experimental into master, and a port of most 2.6.x > > improvements into master. This will form the basis of a 2.7.0 release > > sometime in the future. > > > > For those unfamiliar with git: > > > > git clone git://git.sv.gnu.org/gcl.git > > cd gcl > > git checkout master, or git checkout Version_2_6_9, etc. > > cd gcl > > ./configure && make > > > > git can of course provide much more. I'm currently using Egg, an emacs > > interface to git, with increasing success. Merging, logging, bisecting, > > branching, and uploading appear much simpler. I recommend this tool to > > would-be gcl contributors. > > > > Feedback as always most welcome! > > > > Take care, > > -- > > Camm Maguire c...@maguirefamily.org > > ========================================================================== > > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > > > _______________________________________________ > Maxima mailing list > max...@math.utexas.edu > http://www.math.utexas.edu/mailman/listinfo/maxima --------------060608030209050904060606 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit <html> <head> <meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"> </head> <body bgcolor="#FFFFFF" text="#000000"> On 09/04/2013 11:37 PM, Matt Kaufmann wrote:<br> <span style="white-space: pre;">> Thank you, Don. If there's a complete list of platforms for which<br> > ANSI builds are expected to work for 2.6.9, and if possible one for<br> > 2.6.8 as well, I'd be interested. In particular, it would be nice to<br> > know whether 2.6.9 ANSI builds on Linux are expected to work.</span><br> <br> On x86_64 linux, I built gcl 2.6.8, and 2.6.9 with<br> <br> ./configure --enable-readline --enable-ansi --prefix=/usr/local/gcl-2.6.8 (9)<br> <br> and maxima with <br> <br> export GCL_ANSI=y<br> ./configure --enable-gcl --prefix=/usr/local/maxima-5.31.0-gcl-2.6.8 (9) --with-gcl=/usr/local/bin/gcl-2.6.8 (9)<br> <br> Maxima passed all tests, for each of 2.6.8 and 2.6.9<br> <br> I'm not sure what the flag does, but the doc says.<br> <br> --enable-ansi builds a large gcl aiming for ansi compliance<br> <br> I built Maxima with the latest stable versions gcl,ccl,cmucl,clisp,sbcl,ecl,<br> and gcl (2.6.8 and 2.6.9 ) is the only one that still fails to load asdf.<br> <br> <br> <span style="white-space: pre;">><br> > Thanks --<br> > -- Matt<br> > From: Donald Winiecki <a class="moz-txt-link-rfc2396E" href="mailto:dwinie...@boisestate.edu"><dwinie...@boisestate.edu></a><br> > Date: Wed, 4 Sep 2013 15:32:02 -0600<br> > Cc: Camm Maguire <a class="moz-txt-link-rfc2396E" href="mailto:c...@maguirefamily.org"><c...@maguirefamily.org></a>,<br> > <a class="moz-txt-link-rfc2396E" href="mailto:GCL-devel@gnu.org">"GCL-devel@gnu.org"</a> <a class="moz-txt-link-rfc2396E" href="mailto:gcl-devel@gnu.org"><gcl-devel@gnu.org></a>, <a class="moz-txt-link-abbreviated" href="mailto:max...@math.utexas.edu">max...@math.utexas.edu</a>,<br> > <a class="moz-txt-link-abbreviated" href="mailto:fricas-de...@googlegroups.com">fricas-de...@googlegroups.com</a>,<br> > Axiom-Developer <a class="moz-txt-link-rfc2396E" href="mailto:axiom-develo...@nongnu.org"><axiom-develo...@nongnu.org></a>,<br> > <a class="moz-txt-link-abbreviated" href="mailto:open-axiom-de...@lists.sf.net">open-axiom-de...@lists.sf.net</a><br> ><br> > Hi Matt,<br> ><br> > Right now, both 2.6.8 builds both CLtL1 and ANSI on my Ubuntu 12.10<br> > and WinXP, WinVista and Win7.<br> ><br> > 2.6.9 builds CLtL1 and ANSI on WinXP, but not yet on WinVista or Win7.<br> ><br> > Best,<br> ><br> > _don<br> ><br> ><br> ><br> > On Wed, Sep 4, 2013 at 3:22 PM, Matt Kaufmann <a class="moz-txt-link-rfc2396E" href="mailto:kaufm...@cs.utexas.edu"><kaufm...@cs.utexas.edu></a> wrote:<br> > > Hi, Camm --<br> > ><br> > > Should we expect 2.6.8 and 2.6.9 to support ANSI builds (i.e., using<br> > > configure option --enable-ansi)?<br> > ><br> > > Thanks -<br> > > -- Matt<br> > > From: Camm Maguire <a class="moz-txt-link-rfc2396E" href="mailto:c...@maguirefamily.org"><c...@maguirefamily.org></a><br> > > Date: Tue, 27 Aug 2013 11:48:24 -0400<br> > ><br> > > Greetings! The GCL team is happy to announce a pair of stable releases<br> > > at<br> > ><br> > > <a class="moz-txt-link-freetext" href="ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.8.tar.gz">ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.8.tar.gz</a><br> > > and<br> > > <a class="moz-txt-link-freetext" href="ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.9.tar.gz">ftp://ftp.gnu.org/gnu/gcl/gcl_2.6.9.tar.gz</a><br> > ><br> > > Please also see the homepage and release notes at<br> > ><br> > > <a class="moz-txt-link-freetext" href="http://www.gnu.org/software/gcl">http://www.gnu.org/software/gcl</a>.<br> > ><br> > > The 2.6.8 release represents several years worth of fixes and<br> > > enhancements, notably a great extension of GCL's native object file<br> > > relocation support.<br> > ><br> > > 2.6.9 is released concurrently as it contains a number of structural<br> > > improvements which, while passing all our tests, may cause issues for<br> > > some people. These improvements are chiefly a two word cons, immediate<br> > > fixnum support, word sized fixnums (64bits on 64bit machines), and a<br> > > 'dynamic maxpage' implementation, which removes all compile time limits<br> > > to the heap size and auxiliary typing and marking tables. 2.6.9 will<br> > > attempt to manage the heap given the apparent constraints of the running<br> > > system, with the goal of eliminating allocation failures and handling<br> > > out of memory conditions in advance with a modicum of grace. As this<br> > > involves a runtime startup probe of brk, which has varying degrees of<br> > > significance in different operating systems, one might still experience<br> > > overallocation of memory (notably on hurd). In such cases,<br> > ><br> > > gcl -eval '(si::set-log-maxpage-bound x)'<br> > ><br> > > will limit the heap to 2^x bytes as a workaround.<br> > ><br> > > All gcl, maxima, acl2, axiom, and hol88 builds and self tests pass for<br> > > the following platforms, with noted exceptions(*) itemized below:<br> > ><br> > > debian: amd64 armel armhf hurd-i386 i386 ia64 kfreebsd-amd64<br> > > kfreebsd-i386 mips mipsel powerpc s390 s390x sparc<br> > ><br> > > debian-ports: alpha hppa m68k powerpcspe ppc64 sh4 sparc64 x32<br> > ><br> > > macosx, windows<br> > ><br> > > *exceptions<br> > ><br> > > 1) all systems use native object relocation by default now but ia64 and<br> > > ppc64, which use dlopen. Thus there is a typical limit of 1024 files<br> > > that can be loaded, and the current acl2 build exceeds this limit. As<br> > > this bound is runtime configurable with root access, this is not an<br> > > insurmountable obstacle.<br> > ><br> > > 2) kfreebsd-i386 systems do not appear to allow one to brk more than<br> > > 500M of memory, and the acl2 certification process needs 1Gb. A<br> > > solution here is as yet unknown but may be forthcoming shortly.<br> > ><br> > > 3) windows builds have been performed on win95. There is an as yet<br> > > unidentified runtime error running the 2.6.9 images on win7. More<br> > > information here will be forthcoming shortly.<br> > ><br> > > Windows installers can be found at <a class="moz-txt-link-freetext" href="ftp://ftp.gnu.org/gnu/gcl">ftp://ftp.gnu.org/gnu/gcl</a>.<br> > ><br> > > 4) macosx builds have been tested on snow leopard. More recent versions<br> > > appear to have a linker bug which prevents configure from detecting the<br> > > provided profil() routine. A workaround here should be to<br> > ><br> > > echo "#undef NO_PROFILE >>h/config.h"<br> > ><br> > > after configure and before make.<br> > ><br> > ><br> > > GCL has moved to the git version control system. The 2.6.8 and 2.6.9<br> > > branches and tags are identical in cvs and git. Henceforward,<br> > > modifications will be made to git only. As of the present writing, git<br> > > contains a merge of experimental into master, and a port of most 2.6.x<br> > > improvements into master. This will form the basis of a 2.7.0 release<br> > > sometime in the future.<br> > ><br> > > For those unfamiliar with git:<br> > ><br> > > git clone git://git.sv.gnu.org/gcl.git<br> > > cd gcl<br> > > git checkout master, or git checkout Version_2_6_9, etc.<br> > > cd gcl<br> > > ./configure && make<br> > ><br> > > git can of course provide much more. I'm currently using Egg, an emacs<br> > > interface to git, with increasing success. Merging, logging, bisecting,<br> > > branching, and uploading appear much simpler. I recommend this tool to<br> > > would-be gcl contributors.<br> > ><br> > > Feedback as always most welcome!<br> > ><br> > > Take care,<br> > > --<br> > > Camm Maguire <a class="moz-txt-link-abbreviated" href="mailto:c...@maguirefamily.org">c...@maguirefamily.org</a><br> > > ==========================================================================<br> > > "The earth is but one country, and mankind its citizens." -- Baha'u'llah<br> > ><br> ><br> > _______________________________________________<br> > Maxima mailing list<br> > <a class="moz-txt-link-abbreviated" href="mailto:max...@math.utexas.edu">max...@math.utexas.edu</a><br> > <a class="moz-txt-link-freetext" href="http://www.math.utexas.edu/mailman/listinfo/maxima">http://www.math.utexas.edu/mailman/listinfo/maxima</a></span><br> <br> <br> </body> </html> --------------060608030209050904060606-- _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org https://lists.gnu.org/mailman/listinfo/gcl-devel