Apologies Matt, We'll wait on Camm for a definitive response to your question.
Best, _don On Wed, Sep 4, 2013 at 4:52 PM, Matt Kaufmann <kaufm...@cs.utexas.edu> wrote: > 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
