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.math122a at gmail.com>
CC: Donald Winiecki <dwiniecki at boisestate.edu>, fricas-devel at googlegroups.com,
gcl-devel at gnu.org, open-axiom-devel at lists.sf.net,
maxima at math.utexas.edu, axiom-developer at 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 <dwiniecki at boisestate.edu>
> Date: Wed, 4 Sep 2013 15:32:02 -0600
> Cc: Camm Maguire <camm at maguirefamily.org>,
> "GCL-devel at gnu.org" <gcl-devel at gnu.org>, maxima at math.utexas.edu,
> fricas-devel at googlegroups.com,
> Axiom-Developer <axiom-developer at nongnu.org>,
> open-axiom-devel at 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 <kaufmann at 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 <camm at 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 camm at maguirefamily.org
> >
==========================================================================
> > "The earth is but one country, and mankind its citizens." -- Baha'u'llah
> >
>
> _______________________________________________
> Maxima mailing list
> Maxima at 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:dwiniecki at boisestate.edu"><dwiniecki at 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:camm at maguirefamily.org"><camm at maguirefamily.org></a>,<br>
> <a class="moz-txt-link-rfc2396E" href="mailto:GCL-devel at gnu.org">"GCL-devel at gnu.org"</a> <a class="moz-txt-link-rfc2396E" href="mailto:gcl-devel at gnu.org"><gcl-devel at gnu.org></a>,
<a class="moz-txt-link-abbreviated" href="mailto:maxima at math.utexas.edu">maxima at math.utexas.edu</a>,<br>
> <a class="moz-txt-link-abbreviated" href="mailto:fricas-devel at googlegroups.com">fricas-devel at googlegroups.com</a>,<br>
> Axiom-Developer <a class="moz-txt-link-rfc2396E" href="mailto:axiom-developer at nongnu.org"><axiom-developer at nongnu.org></a>,<br>
> <a class="moz-txt-link-abbreviated" href="mailto:open-axiom-devel at lists.sf.net">open-axiom-devel at 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:kaufmann at cs.utexas.edu"><kaufmann at 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:camm at maguirefamily.org"><camm at 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:camm at maguirefamily.org">camm at 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:Maxima at math.utexas.edu">Maxima at 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--