gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] [Maxima] GCL 2.6.8 and 2.6.9 are released


From: Donald Winiecki
Subject: Re: [Gcl-devel] [Maxima] GCL 2.6.8 and 2.6.9 are released
Date: Wed, 4 Sep 2013 18:47:19 -0600

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 <address@hidden> 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 <address@hidden>
>    CC: Donald Winiecki <address@hidden>, address@hidden,
>            address@hidden, address@hidden,
>            address@hidden, address@hidden
>
>    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 <address@hidden>
>    >  Date: Wed, 4 Sep 2013 15:32:02 -0600
>    >  Cc: Camm Maguire <address@hidden>,
>    >  "address@hidden" <address@hidden>, address@hidden,
>    >  address@hidden,
>    >  Axiom-Developer <address@hidden>,
>    >  address@hidden
>    >
>    >  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 <address@hidden>
>    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 <address@hidden>
>    >  > 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 address@hidden
>    >  >
>    ==========================================================================
>    >  > "The earth is but one country, and mankind its citizens." -- 
> Baha'u'llah
>    >  >
>    >
>    >  _______________________________________________
>    >  Maxima mailing list
>    >  address@hidden
>    >  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;">&gt; Thank you, Don. If there's a
>          complete list of platforms for which<br>
>          &gt; ANSI builds are expected to work for 2.6.9, and if possible
>          one for<br>
>          &gt; 2.6.8 as well, I'd be interested. In particular, it would be
>          nice to<br>
>          &gt; 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>
>        &nbsp;--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;">&gt;<br>
>          &gt; Thanks --<br>
>          &gt; -- Matt<br>
>          &gt; From: Donald Winiecki <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a><br>
>          &gt; Date: Wed, 4 Sep 2013 15:32:02 -0600<br>
>          &gt; Cc: Camm Maguire <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a>,<br>
>          &gt; <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>"address@hidden"</a> <a 
> class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a>,
>          <a class="moz-txt-link-abbreviated" 
> href="mailto:address@hidden";>address@hidden</a>,<br>
>          &gt; <a class="moz-txt-link-abbreviated" 
> href="mailto:address@hidden";>address@hidden</a>,<br>
>          &gt; Axiom-Developer <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a>,<br>
>          &gt; <a class="moz-txt-link-abbreviated" 
> href="mailto:address@hidden";>address@hidden</a><br>
>          &gt;<br>
>          &gt; Hi Matt,<br>
>          &gt;<br>
>          &gt; Right now, both 2.6.8 builds both CLtL1 and ANSI on my Ubuntu
>          12.10<br>
>          &gt; and WinXP, WinVista and Win7.<br>
>          &gt;<br>
>          &gt; 2.6.9 builds CLtL1 and ANSI on WinXP, but not yet on WinVista
>          or Win7.<br>
>          &gt;<br>
>          &gt; Best,<br>
>          &gt;<br>
>          &gt; _don<br>
>          &gt;<br>
>          &gt;<br>
>          &gt;<br>
>          &gt; On Wed, Sep 4, 2013 at 3:22 PM, Matt Kaufmann
>          <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a> wrote:<br>
>          &gt; &gt; Hi, Camm --<br>
>          &gt; &gt;<br>
>          &gt; &gt; Should we expect 2.6.8 and 2.6.9 to support ANSI builds
>          (i.e., using<br>
>          &gt; &gt; configure option --enable-ansi)?<br>
>          &gt; &gt;<br>
>          &gt; &gt; Thanks -<br>
>          &gt; &gt; -- Matt<br>
>          &gt; &gt; From: Camm Maguire <a class="moz-txt-link-rfc2396E" 
> href="mailto:address@hidden";>&lt;address@hidden&gt;</a><br>
>          &gt; &gt; Date: Tue, 27 Aug 2013 11:48:24 -0400<br>
>          &gt; &gt;<br>
>          &gt; &gt; Greetings! The GCL team is happy to announce a pair of
>          stable releases<br>
>          &gt; &gt; at<br>
>          &gt; &gt;<br>
>          &gt; &gt; <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>
>          &gt; &gt; and<br>
>          &gt; &gt; <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>
>          &gt; &gt;<br>
>          &gt; &gt; Please also see the homepage and release notes at<br>
>          &gt; &gt;<br>
>          &gt; &gt; <a class="moz-txt-link-freetext" 
> href="http://www.gnu.org/software/gcl";>http://www.gnu.org/software/gcl</a>.<br>
>          &gt; &gt;<br>
>          &gt; &gt; The 2.6.8 release represents several years worth of
>          fixes and<br>
>          &gt; &gt; enhancements, notably a great extension of GCL's native
>          object file<br>
>          &gt; &gt; relocation support.<br>
>          &gt; &gt;<br>
>          &gt; &gt; 2.6.9 is released concurrently as it contains a number
>          of structural<br>
>          &gt; &gt; improvements which, while passing all our tests, may
>          cause issues for<br>
>          &gt; &gt; some people. These improvements are chiefly a two word
>          cons, immediate<br>
>          &gt; &gt; fixnum support, word sized fixnums (64bits on 64bit
>          machines), and a<br>
>          &gt; &gt; 'dynamic maxpage' implementation, which removes all
>          compile time limits<br>
>          &gt; &gt; to the heap size and auxiliary typing and marking
>          tables. 2.6.9 will<br>
>          &gt; &gt; attempt to manage the heap given the apparent
>          constraints of the running<br>
>          &gt; &gt; system, with the goal of eliminating allocation failures
>          and handling<br>
>          &gt; &gt; out of memory conditions in advance with a modicum of
>          grace. As this<br>
>          &gt; &gt; involves a runtime startup probe of brk, which has
>          varying degrees of<br>
>          &gt; &gt; significance in different operating systems, one might
>          still experience<br>
>          &gt; &gt; overallocation of memory (notably on hurd). In such
>          cases,<br>
>          &gt; &gt;<br>
>          &gt; &gt; gcl -eval '(si::set-log-maxpage-bound x)'<br>
>          &gt; &gt;<br>
>          &gt; &gt; will limit the heap to 2^x bytes as a workaround.<br>
>          &gt; &gt;<br>
>          &gt; &gt; All gcl, maxima, acl2, axiom, and hol88 builds and self
>          tests pass for<br>
>          &gt; &gt; the following platforms, with noted exceptions(*)
>          itemized below:<br>
>          &gt; &gt;<br>
>          &gt; &gt; debian: amd64 armel armhf hurd-i386 i386 ia64
>          kfreebsd-amd64<br>
>          &gt; &gt; kfreebsd-i386 mips mipsel powerpc s390 s390x sparc<br>
>          &gt; &gt;<br>
>          &gt; &gt; debian-ports: alpha hppa m68k powerpcspe ppc64 sh4
>          sparc64 x32<br>
>          &gt; &gt;<br>
>          &gt; &gt; macosx, windows<br>
>          &gt; &gt;<br>
>          &gt; &gt; *exceptions<br>
>          &gt; &gt;<br>
>          &gt; &gt; 1) all systems use native object relocation by default
>          now but ia64 and<br>
>          &gt; &gt; ppc64, which use dlopen. Thus there is a typical limit
>          of 1024 files<br>
>          &gt; &gt; that can be loaded, and the current acl2 build exceeds
>          this limit. As<br>
>          &gt; &gt; this bound is runtime configurable with root access,
>          this is not an<br>
>          &gt; &gt; insurmountable obstacle.<br>
>          &gt; &gt;<br>
>          &gt; &gt; 2) kfreebsd-i386 systems do not appear to allow one to
>          brk more than<br>
>          &gt; &gt; 500M of memory, and the acl2 certification process needs
>          1Gb. A<br>
>          &gt; &gt; solution here is as yet unknown but may be forthcoming
>          shortly.<br>
>          &gt; &gt;<br>
>          &gt; &gt; 3) windows builds have been performed on win95. There is
>          an as yet<br>
>          &gt; &gt; unidentified runtime error running the 2.6.9 images on
>          win7. More<br>
>          &gt; &gt; information here will be forthcoming shortly.<br>
>          &gt; &gt;<br>
>          &gt; &gt; 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>
>          &gt; &gt;<br>
>          &gt; &gt; 4) macosx builds have been tested on snow leopard. More
>          recent versions<br>
>          &gt; &gt; appear to have a linker bug which prevents configure
>          from detecting the<br>
>          &gt; &gt; provided profil() routine. A workaround here should be
>          to<br>
>          &gt; &gt;<br>
>          &gt; &gt; echo "#undef NO_PROFILE &gt;&gt;h/config.h"<br>
>          &gt; &gt;<br>
>          &gt; &gt; after configure and before make.<br>
>          &gt; &gt;<br>
>          &gt; &gt;<br>
>          &gt; &gt; GCL has moved to the git version control system. The
>          2.6.8 and 2.6.9<br>
>          &gt; &gt; branches and tags are identical in cvs and git.
>          Henceforward,<br>
>          &gt; &gt; modifications will be made to git only. As of the
>          present writing, git<br>
>          &gt; &gt; contains a merge of experimental into master, and a port
>          of most 2.6.x<br>
>          &gt; &gt; improvements into master. This will form the basis of a
>          2.7.0 release<br>
>          &gt; &gt; sometime in the future.<br>
>          &gt; &gt;<br>
>          &gt; &gt; For those unfamiliar with git:<br>
>          &gt; &gt;<br>
>          &gt; &gt; git clone git://git.sv.gnu.org/gcl.git<br>
>          &gt; &gt; cd gcl<br>
>          &gt; &gt; git checkout master, or git checkout Version_2_6_9, 
> etc.<br>
>          &gt; &gt; cd gcl<br>
>          &gt; &gt; ./configure &amp;&amp; make<br>
>          &gt; &gt;<br>
>          &gt; &gt; git can of course provide much more. I'm currently using
>          Egg, an emacs<br>
>          &gt; &gt; interface to git, with increasing success. Merging,
>          logging, bisecting,<br>
>          &gt; &gt; branching, and uploading appear much simpler. I
>          recommend this tool to<br>
>          &gt; &gt; would-be gcl contributors.<br>
>          &gt; &gt;<br>
>          &gt; &gt; Feedback as always most welcome!<br>
>          &gt; &gt;<br>
>          &gt; &gt; Take care,<br>
>          &gt; &gt; --<br>
>          &gt; &gt; Camm Maguire <a class="moz-txt-link-abbreviated" 
> href="mailto:address@hidden";>address@hidden</a><br>
>          &gt; &gt;
>    
> ==========================================================================<br>
>          &gt; &gt; "The earth is but one country, and mankind its
>          citizens." -- Baha'u'llah<br>
>          &gt; &gt;<br>
>          &gt;<br>
>          &gt; _______________________________________________<br>
>          &gt; Maxima mailing list<br>
>          &gt; <a class="moz-txt-link-abbreviated" 
> href="mailto:address@hidden";>address@hidden</a><br>
>          &gt; <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--
>



reply via email to

[Prev in Thread] Current Thread [Next in Thread]