From MAILER-DAEMON Sun Sep 01 09:36:11 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VG7p5-000536-3V
	for mharc-axiom-developer@gnu.org; Sun, 01 Sep 2013 09:36:11 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58281)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <selick@math.toronto.edu>) id 1VFxiu-0004uY-Fs
	for axiom-developer@nongnu.org; Sat, 31 Aug 2013 22:49:14 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <selick@math.toronto.edu>) id 1VFxio-0005ch-Dq
	for axiom-developer@nongnu.org; Sat, 31 Aug 2013 22:49:08 -0400
Received: from mail.math.toronto.edu ([128.100.68.68]:53225)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <selick@math.toronto.edu>) id 1VFxio-0005bS-9s
	for axiom-developer@nongnu.org; Sat, 31 Aug 2013 22:49:02 -0400
Received: from mail.math.toronto.edu (localhost.localdomain [127.0.0.1])
	by localhost (Postfix) with SMTP id 4F33B250475
	for <axiom-developer@nongnu.org>; Sat, 31 Aug 2013 22:49:01 -0400 (EDT)
Received: from coxeter.math.toronto.edu (coxeter.math.toronto.edu
	[128.100.68.3])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by mail.math.toronto.edu (Postfix) with ESMTP id 38165250406
	for <axiom-developer@nongnu.org>; Sat, 31 Aug 2013 22:49:01 -0400 (EDT)
Date: Sat, 31 Aug 2013 22:49:01 -0400 (EDT)
From: Paul Selick <selick@math.toronto.edu>
To: axiom-developer@nongnu.org
Message-ID: <alpine.LRH.2.03.1308312240090.10803@math.toronto.edu>
User-Agent: Alpine 2.03 (LRH 1266 2009-07-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 128.100.68.68
X-Mailman-Approved-At: Sun, 01 Sep 2013 09:36:09 -0400
Subject: [Axiom-developer] compiling in Axiom
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 01 Sep 2013 02:49:14 -0000

Hello,

I used AXIOM a number of years ago, and I think at that time I understood 
the difference between a  *.as  and *.spad   file, but have since 
forgotten.

I had written  *.as  files.

Recently I tried to run some of my old code unsuccessfully in the modern 
AXIOM.
I used to use the command line
     axiomxl -laxllib -Fx filename.as
although I understand the this method of producing a standalone executable
is no longer supported (no   axiomxl  command)
So I started the interpreter and typed
     )co filename.as
and got an error message saying
"Only AXIOM source files with file extensions .as, .ao, .al, or .spad
       can be compiled."

My file WAS named  something.as   and although my syntax in the file may 
need modernizing, I got the impression that the compiler didn't look into 
file beyond the name.

Can you tell me what I am doing wrong and what would need to be done to 
get on old  *.as  file to compile in the modern AXIOM ?
Thanks,
Paul Selick



From MAILER-DAEMON Sun Sep 01 09:59:49 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VG8Bw-0001Ut-VP
	for mharc-axiom-developer@gnu.org; Sun, 01 Sep 2013 09:59:48 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:43130)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1VG8Br-0001Ul-A5
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 09:59:47 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1VG8Bm-0000Vp-Kw
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 09:59:43 -0400
Received: from mo6-p00-ob.rzone.de ([2a01:238:20a:202:5300::1]:43791)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1VG8Bm-0000Vb-DZ
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 09:59:38 -0400
X-RZG-AUTH: :Pm0Ic2CgfvKqpyys4bXs6bamDO4KmmoRsZ13hlmoEk5YaVQhispbuHv/ZS/mkQ==
X-RZG-CLASS-ID: mo00
Received: from [192.168.1.2]
	(80-121-12-151.adsl.highway.telekom.at [80.121.12.151])
	by smtp.strato.de (RZmta 31.47 DYNA|AUTH)
	with (ECDHE-RSA-RC4-SHA encrypted) ESMTPA id 603920p81DQq8A
	for <axiom-developer@nongnu.org>; Sun, 1 Sep 2013 15:59:34 +0200 (CEST)
Message-ID: <52234847.5090208@hemmecke.org>
Date: Sun, 01 Sep 2013 15:59:35 +0200
From: Ralf Hemmecke <ralf@hemmecke.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:17.0) Gecko/20130803 Thunderbird/17.0.8
MIME-Version: 1.0
To: axiom-developer@nongnu.org
References: <alpine.LRH.2.03.1308312240090.10803@math.toronto.edu>
In-Reply-To: <alpine.LRH.2.03.1308312240090.10803@math.toronto.edu>
X-Enigmail-Version: 1.5.2
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a01:238:20a:202:5300::1
Subject: Re: [Axiom-developer] compiling in Axiom
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 01 Sep 2013 13:59:48 -0000

> So I started the interpreter and typed
>     )co filename.as
> and got an error message saying
> "Only AXIOM source files with file extensions .as, .ao, .al, or .spad
>       can be compiled."

> Can you tell me what I am doing wrong and what would need to be done to
> get on old  *.as  file to compile in the modern AXIOM ?

>From all the panaxiom flavours (to my knowledge) currently only FriCAS
allows the connection to Aldor, i.e. compilation of .as files and use of
the result inside FriCAS.

For that, you would have to compile libaxiom.al locally on your
computer, it's not in the distribution. But also for FriCAS it is
currently in a "transition state" (I would say). My fricas-aldor-local
branch (https://github.com/hemmecke/fricas/commits/fricas-aldor-local)
should work together with the latest aldor
(https://github.com/pippijn/aldor), but I didn't have time to really
check everything and integrate it back into FriCAS mainline. Aldor is
currently getting a lot of patches and it's a bit hard to keep track.

Anyway, it's not possible to use the aldor compiler and produce stand
alone programs that use the Axiom library.

Ralf



From MAILER-DAEMON Mon Sep 02 09:54:22 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VGUaE-0005v4-P1
	for mharc-axiom-developer@gnu.org; Mon, 02 Sep 2013 09:54:22 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44278)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <aaan@webspeed.dk>) id 1VG8Mv-0003Dv-0c
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 10:11:16 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <aaan@webspeed.dk>) id 1VG8Mo-0003KF-14
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 10:11:08 -0400
Received: from fep40.mail.dk ([195.41.46.140]:63206)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <aaan@webspeed.dk>) id 1VG8Mn-0003K6-N7
	for axiom-developer@nongnu.org; Sun, 01 Sep 2013 10:11:01 -0400
DKIM-Signature: v=1; a=rsa-sha256; d=mail.dk; s=201301; c=relaxed/simple;
	q=dns/txt; i=@mail.dk; t=1378044657;
	h=From:Date:To:Cc:Reply-To:X-TDCLU:X-TDC-Sender-From-IP:X-TDCCM:MIME-Version:Content-Type;
	bh=x/0TsQM9IlSB0kbqRIhS1ON3F0pT7+u7DEuTTek13dQ=;
	b=b01J9jPjWlSDJ5NKZaUvmLNpweMUN2xJHcnNLEp/l3zLCJKz+yarx4M9esEiDlZJ
	R5nh8qVWq6ynl9pNT5Tq6yZnBPMAQnCITwtDnpL5SFvOf+AVGNH2k7Rm0FDPXKzW
	dRRJNj3QKUWKzklSgmcqGMIJT0kxrOI3qWoPxk/3F0dYBS7EfHyGqG3rhnpkpwYw
	K2H6ZxLaJQDXW8eJb/aelctqGNe90cclIZP+UXaarEkzv6Pr7GfdLkohWD30oTf2
	I5wjaJ5hkikmEbmFiVjdYcCMfy3lvFgVh4b+mYOJ0+9gHmNRIbgqaEATqBjJtdn2
	eNGevjBwz0J2Lbj4EeRxLA==;
X-TDCO-HELO: webmailclient.mail.dk
X-TDC-Sender-From-IP: 195.41.46.254
X-TDCCM: v=2.1 cv=HNJ0zWLh c=1 sm=0 tr=0 a=p4Xz+0dmTmFXc6II2S3gHw==:117
	a=0ZhrUKbYHc6BsnPqb8WT4w==:17 a=8nJEP1OIZ-IA:10
	a=v7IVYKnl3poQDquagIQA:9 a=wPNLvfGTeEIA:10 a=oVpnrdbj_acA:10
	a=qDvbf3O0JosA:10
Received: from [195.41.46.254] ([195.41.46.254:28983]
	helo=webmailclient.mail.dk)
	by fep40.mail.dk (envelope-from <aaan@webspeed.dk>)
	(ecelerity 2.2.3.50 r()) with ESMTP
	id C6/F1-14668-1FA43225; Sun, 01 Sep 2013 16:10:57 +0200
Received: from ([87.50.32.52]) by webmail.yousee.dk with HTTP; Sun, 01 Sep
	2013 16:10:56 +0200
Message-ID: <C6.F1.14668.1FA43225@fep40.mail.dk>
From: Aage Andersen <aaan@webspeed.dk>
To: "www . axiom-developer . org" <axiom-developer@nongnu.org>
X-Mailer: TDC Online webmail (version yousee/3.0.40)
X-TDC-Senders-Webmail-IP: 87.50.32.52
Date: Sun, 1 Sep 2013 16:10:56 +0200
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 195.41.46.140
X-Mailman-Approved-At: Mon, 02 Sep 2013 09:54:21 -0400
Subject: [Axiom-developer] start
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 01 Sep 2013 14:11:16 -0000

Just downloaded axiom and installed succesfully. But how do I start it?
=20
Aage Andersen
=20


From MAILER-DAEMON Wed Sep 04 17:22:54 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHKXN-0003xs-S8
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 17:22:54 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:54751)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKXE-0003ow-Bg
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:22:50 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKX8-0008Eu-46
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:22:44 -0400
Received: from witchking.cs.utexas.edu ([128.83.120.130]:34405)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKX7-0008Ep-T1
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:22:38 -0400
Received: from sloth.cs.utexas.edu (kaufmann@sloth.cs.utexas.edu
	[128.83.130.33])
	by witchking.cs.utexas.edu (8.14.4/8.14.4) with ESMTP id r84LMElw019055
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Wed, 4 Sep 2013 16:22:14 -0500
Received: (from kaufmann@localhost)
	by sloth.cs.utexas.edu (8.14.4/8.14.4/Submit) id r84LMEXt024883;
	Wed, 4 Sep 2013 16:22:14 -0500
Date: Wed, 4 Sep 2013 16:22:14 -0500
Message-Id: <201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
From: Matt Kaufmann <kaufmann@cs.utexas.edu>
To: Camm Maguire <camm@maguirefamily.org>
In-reply-to: <8738pvp22f.fsf@maguirefamily.org> (message from Camm Maguire on
	Tue, 27 Aug 2013 11:48:24 -0400)
References: <8738pvp22f.fsf@maguirefamily.org>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 128.83.120.130
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 21:22:51 -0000

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@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@maguirefamily.org
   ==========================================================================
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah



From MAILER-DAEMON Wed Sep 04 17:32:58 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHKh7-0005qr-Jo
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 17:32:57 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57076)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHKh0-0005hs-0R
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:32:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHKgt-0002uY-25
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:32:49 -0400
Received: from mail-ve0-f180.google.com ([209.85.128.180]:34209)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHKgs-0002t8-Rv
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:32:42 -0400
Received: by mail-ve0-f180.google.com with SMTP id pb11so613019veb.11
	for <axiom-developer@nongnu.org>; Wed, 04 Sep 2013 14:32:42 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20130820;
	h=x-gm-message-state:mime-version:in-reply-to:references:from:date
	:message-id:subject:to:cc:content-type;
	bh=G5j24TyuzAJC7UZUuhxLzmru7ugyWzcvx97zw/JEX/U=;
	b=MkbWM8lGI6hc8Ap40/ADlraB4iOl6gat6OLsohfdzV/CUU8PYpqtwCWpTjdxNjUCbk
	WYcNPNXU4DSbm5q++AmX0sMxk+B1Sr4RLPWxSaHzTBhPRV417EwBK1aP73lRBMfznbZE
	j5kyrAjlFE+tILFXjJTSk8vJDXYXE6ubR/PXg9qXz42NSQXjllrvTFSYNdiiDKP1zS2/
	G3FvYvbqOn5Rwao96chaK1BpIonPhjUZqhi+bORECBJLzX3p3Lvas7sQ+HlgEn4xTY37
	gq7jgLwHuc2g7NIhfIbkUavO4VSujJ5MuPoitHnOVjPIpdqD9aXMqz+Ggr7xIXbjh8e4
	g6WQ==
X-Gm-Message-State: ALoCoQlUC/n1CBcD0LjIrD2Kt2fcqMWqQ4vcGcA1aTF/lnMLxuKGUl0dnhXsUyfFKqWrKbd53OZ4
X-Received: by 10.58.188.52 with SMTP id fx20mr184531vec.47.1378330362175;
	Wed, 04 Sep 2013 14:32:42 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.52.32.193 with HTTP; Wed, 4 Sep 2013 14:32:02 -0700 (PDT)
In-Reply-To: <201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
From: Donald Winiecki <dwiniecki@boisestate.edu>
Date: Wed, 4 Sep 2013 15:32:02 -0600
Message-ID: <CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
Content-Type: text/plain; charset=UTF-8
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
	[fuzzy]
X-Received-From: 209.85.128.180
Cc: fricas-devel@googlegroups.com, "GCL-devel@gnu.org" <gcl-devel@gnu.org>,
	Camm Maguire <camm@maguirefamily.org>,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 21:32:56 -0000

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@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@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@maguirefamily.org
>    ==========================================================================
>    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>


From MAILER-DAEMON Wed Sep 04 17:37:38 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHKle-0007NF-2L
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 17:37:38 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58084)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKlV-0007Mb-Rh
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:37:36 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKlP-0004Hw-BE
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:37:29 -0400
Received: from witchking.cs.utexas.edu ([128.83.120.130]:35473)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHKlP-0004Hs-3b
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 17:37:23 -0400
Received: from sloth.cs.utexas.edu (kaufmann@sloth.cs.utexas.edu
	[128.83.130.33])
	by witchking.cs.utexas.edu (8.14.4/8.14.4) with ESMTP id r84Lb3Q2026174
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Wed, 4 Sep 2013 16:37:03 -0500
Received: (from kaufmann@localhost)
	by sloth.cs.utexas.edu (8.14.4/8.14.4/Submit) id r84Lb2s7025295;
	Wed, 4 Sep 2013 16:37:02 -0500
Date: Wed, 4 Sep 2013 16:37:02 -0500
Message-Id: <201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
From: Matt Kaufmann <kaufmann@cs.utexas.edu>
To: Donald Winiecki <dwiniecki@boisestate.edu>
In-reply-to: <CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	(message from Donald Winiecki on Wed, 4 Sep 2013 15:32:02 -0600)
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 128.83.120.130
Cc: fricas-devel@googlegroups.com, gcl-devel@gnu.org, camm@maguirefamily.org,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 21:37:36 -0000

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.

Thanks --
-- Matt
   From: Donald Winiecki <dwiniecki@boisestate.edu>
   Date: Wed, 4 Sep 2013 15:32:02 -0600
   Cc: Camm Maguire <camm@maguirefamily.org>,
	   "GCL-devel@gnu.org" <gcl-devel@gnu.org>, maxima@math.utexas.edu,
	   fricas-devel@googlegroups.com,
	   Axiom-Developer <axiom-developer@nongnu.org>,
	   open-axiom-devel@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@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@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@maguirefamily.org
   >    ==========================================================================
   >    "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
   >



From MAILER-DAEMON Wed Sep 04 18:28:14 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHLYc-00015B-Of
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 18:28:14 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39022)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>) id 1VHLYV-000121-S8
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:28:12 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>) id 1VHLYQ-0001hO-Qt
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:28:07 -0400
Received: from elasmtp-galgo.atl.sa.earthlink.net ([209.86.89.61]:48100)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>)
	id 1VHLYG-0001cq-A0; Wed, 04 Sep 2013 18:27:52 -0400
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=dk20050327; d=pipeline.com;
	b=YmP94aQc9p+rTGjlCIyDp0iiegQQAL0jN7yLomxvhSCsYXAW4bPj0HJZdca2zI/Y;
	h=Received:X-Mailer:Date:To:From:Subject:Cc:In-Reply-To:References:Mime-Version:Content-Type:Message-ID:X-ELNK-Trace:X-Originating-IP;
Received: from [96.247.225.109] (helo=YOUR-8FLQAMAVO8.pipeline.com)
	by elasmtp-galgo.atl.sa.earthlink.net with esmtpa (Exim 4.67)
	(envelope-from <hbaker1@pipeline.com>)
	id 1VHLXi-0008RJ-N5; Wed, 04 Sep 2013 18:27:19 -0400
X-Mailer: QUALCOMM Windows Eudora Version 7.1.0.9
Date: Wed, 04 Sep 2013 15:26:17 -0700
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
From: Henry Baker <hbaker1@pipeline.com>
In-Reply-To: <201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Message-ID: <E1VHLXi-0008RJ-N5@elasmtp-galgo.atl.sa.earthlink.net>
X-ELNK-Trace: 1ae2556e383722335a792f37df7f8ca8ba196d48fc2e3f0811da5e9320f1bdaf43c6f42cf1366be4350badd9bab72f9c350badd9bab72f9c350badd9bab72f9c
X-Originating-IP: 96.247.225.109
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x
X-Received-From: 209.86.89.61
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	Camm Maguire <camm@maguirefamily.org>,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 22:28:13 -0000

Terrific job!  Thanks!

I just looked through the release notes.  Do any versions of GCL support UTF8 ?

At 02:22 PM 9/4/2013, Matt Kaufmann 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@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@maguirefamily.org
>   ==========================================================================
>   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah



From MAILER-DAEMON Wed Sep 04 18:52:33 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHLw8-0006Ic-WB
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 18:52:33 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:43475)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHLw3-0006IQ-6a
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:52:31 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHLvy-00088x-NP
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:52:27 -0400
Received: from witchking.cs.utexas.edu ([128.83.120.130]:39825)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <kaufmann@cs.utexas.edu>) id 1VHLvy-00088t-Eu
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:52:22 -0400
Received: from sloth.cs.utexas.edu (kaufmann@sloth.cs.utexas.edu
	[128.83.130.33])
	by witchking.cs.utexas.edu (8.14.4/8.14.4) with ESMTP id r84Mq9Xl027115
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Wed, 4 Sep 2013 17:52:09 -0500
Received: (from kaufmann@localhost)
	by sloth.cs.utexas.edu (8.14.4/8.14.4/Submit) id r84Mq80K027574;
	Wed, 4 Sep 2013 17:52:08 -0500
Date: Wed, 4 Sep 2013 17:52:08 -0500
Message-Id: <201309042252.r84Mq80K027574@sloth.cs.utexas.edu>
From: Matt Kaufmann <kaufmann@cs.utexas.edu>
To: John Lapeyre <lapeyre.math122a@gmail.com>
In-reply-to: <5227B7CE.4060403@gmail.com> (message from John Lapeyre on Thu,
	05 Sep 2013 00:44:30 +0200)
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
	<5227B7CE.4060403@gmail.com>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 128.83.120.130
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 22:52:31 -0000

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



From MAILER-DAEMON Wed Sep 04 20:48:14 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHNk6-0003Fd-5p
	for mharc-axiom-developer@gnu.org; Wed, 04 Sep 2013 20:48:14 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57319)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHNk0-0003Do-Vd
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 20:48:12 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHNjt-0004aK-0u
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 20:48:08 -0400
Received: from mail-vc0-f173.google.com ([209.85.220.173]:58297)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <dwiniecki@boisestate.edu>) id 1VHNjs-0004a0-RD
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 20:48:00 -0400
Received: by mail-vc0-f173.google.com with SMTP id id13so677566vcb.32
	for <axiom-developer@nongnu.org>; Wed, 04 Sep 2013 17:48:00 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20130820;
	h=x-gm-message-state:mime-version:in-reply-to:references:from:date
	:message-id:subject:to:cc:content-type;
	bh=OO31ft+xFCgumZu7qRRK+5hYU5r6X4E7d/XejHs2qLc=;
	b=BUXNcJIbXIiZmfC+GD9yZ5FDsDx23UToBpOysj8+jI/IlSlz7Kz/TXabv4J+DiXzR0
	Jjs0d9gcNqbbT1TNG1g4pfKP1vhnhpZRFmJgi5J+3Yf+jkWV/RhDJTgWSXhYXHpeqwNT
	KTa+96a6zh3Wa8YP0bJlkZE3UqdwwJC+hEJe/O41goSuPhzf8WAQj2GcNMTnMcZ8RoYq
	JctTKetWjnLNR5gbkdV48qZAfUJpD/oOMPfaEiRGLhRJVGb1wW5L9E+UDxzkbxJBWWYL
	tfbyhXxVun9mtpXxCV7/a+x+IkE7WgSSlev7hOuIdjgRTsm61FBLYSdMz/q8KVwxV0VP
	nc5g==
X-Gm-Message-State: ALoCoQmz57uV3bkA+h40xV17+ViqK+TLC37aCZka/3m4uMdVINj34bnIBKSRWD3k22wKnEXiWLB+
X-Received: by 10.52.227.6 with SMTP id rw6mr273161vdc.19.1378342080140; Wed,
	04 Sep 2013 17:48:00 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.52.32.193 with HTTP; Wed, 4 Sep 2013 17:47:19 -0700 (PDT)
In-Reply-To: <201309042252.r84Mq80K027574@sloth.cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
	<5227B7CE.4060403@gmail.com>
	<201309042252.r84Mq80K027574@sloth.cs.utexas.edu>
From: Donald Winiecki <dwiniecki@boisestate.edu>
Date: Wed, 4 Sep 2013 18:47:19 -0600
Message-ID: <CAOyCyQ=xXBajCDYv=puqpUrq9u08=+ywBaM66G=eUECP_CwRig@mail.gmail.com>
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
Content-Type: text/plain; charset=UTF-8
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
	[fuzzy]
X-Received-From: 209.85.220.173
Cc: fricas-devel@googlegroups.com, John Lapeyre <lapeyre.math122a@gmail.com>,
	"GCL-devel@gnu.org" <gcl-devel@gnu.org>,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 05 Sep 2013 00:48:13 -0000

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


From MAILER-DAEMON Thu Sep 05 12:28:34 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHcQ6-0002Yl-6B
	for mharc-axiom-developer@gnu.org; Thu, 05 Sep 2013 12:28:34 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:41946)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <lapeyre.math122a@gmail.com>) id 1VHLoW-0004TD-3z
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:44:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <lapeyre.math122a@gmail.com>) id 1VHLoR-00069C-M9
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:44:40 -0400
Received: from mail-wi0-x234.google.com ([2a00:1450:400c:c05::234]:51283)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <lapeyre.math122a@gmail.com>) id 1VHLoR-00068x-3W
	for axiom-developer@nongnu.org; Wed, 04 Sep 2013 18:44:35 -0400
Received: by mail-wi0-f180.google.com with SMTP id hj3so1094295wib.1
	for <axiom-developer@nongnu.org>; Wed, 04 Sep 2013 15:44:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=message-id:date:from:user-agent:mime-version:to:cc:subject
	:references:in-reply-to:content-type;
	bh=nj/0BsjR46odRdhbtJS/OeRsE0aCFIkwmrLSicPv8ek=;
	b=XUsfk7P27cMA3tvGlB4pRhj7Z5NN+s7TuZHFN4kIn/wwuqDwYoLwPBhF1n03jIr3h9
	AjiGx8kz+9UnJ3AGlDM12bjDgvZpOfDY+CjGox1SogZbweqcjQ6n62zevqvVmce7FdiC
	H/WspF7CtO7dWOEm6cbmvl4wqclBThkflRPkIMepWxRDQpI9tfObeTxRRqz3IbCu7i3Q
	exaR91Z83QS470wgZnrCczuyMKkEXTpug2mDukXhsVkP0DO6905pxH0nnPs3SYxrkzDh
	Ss673OVYTGq2JkPsv/BT9/bTp9t000rUK7WZs4HmqCHGha+9EdbVYxw9oO9BOADIg15q
	P5aw==
X-Received: by 10.180.11.37 with SMTP id n5mr3887433wib.25.1378334673591;
	Wed, 04 Sep 2013 15:44:33 -0700 (PDT)
Received: from [192.168.1.5] (22.Red-88-0-192.dynamicIP.rima-tde.net.
	[88.0.192.22])
	by mx.google.com with ESMTPSA id v7sm7434534wiy.11.1969.12.31.16.00.00
	(version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Wed, 04 Sep 2013 15:44:32 -0700 (PDT)
Message-ID: <5227B7CE.4060403@gmail.com>
Date: Thu, 05 Sep 2013 00:44:30 +0200
From: John Lapeyre <lapeyre.math122a@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:10.0.7) Gecko/20120922 Icedove/10.0.7
MIME-Version: 1.0
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
In-Reply-To: <201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
Content-Type: multipart/alternative;
	boundary="------------060608030209050904060606"
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a00:1450:400c:c05::234
X-Mailman-Approved-At: Thu, 05 Sep 2013 12:28:31 -0400
Cc: fricas-devel@googlegroups.com, Donald Winiecki <dwiniecki@boisestate.edu>,
	gcl-devel@gnu.org, open-axiom-devel@lists.sf.net,
	maxima@math.utexas.edu, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Sep 2013 22:44:44 -0000

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


From MAILER-DAEMON Fri Sep 06 10:35:40 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHx8O-0007n4-Ki
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 10:35:40 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:51524)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHx8H-0007ip-2u
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:35:37 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHx89-00082S-Hj
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:35:33 -0400
Received: from vms173023pub.verizon.net ([206.46.173.23]:46441)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHx89-000824-9R
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:35:25 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.181.222])
	by vms173023.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MSP00AUGKIDVO10@vms173023.mailsrvcs.net> for
	axiom-developer@nongnu.org; Fri, 06 Sep 2013 09:35:07 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VHx7l-0006HL-5M; Fri,
	06 Sep 2013 10:35:01 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>	<5227B7CE.4060403@gmail.com>
	<201309042252.r84Mq80K027574@sloth.cs.utexas.edu>
Date: Fri, 06 Sep 2013 10:35:01 -0400
In-reply-to: <201309042252.r84Mq80K027574@sloth.cs.utexas.edu>
	(Matt	Kaufmann's message of "Wed, 4 Sep 2013 17:52:08 -0500")
Message-id: <8761ueggru.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.23
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu,
	John Lapeyre <lapeyre.math122a@gmail.com>, gcl-devel@gnu.org,
	open-axiom-devel@lists.sf.net, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 14:35:37 -0000

Greetings!

Matt, AFAICS, all the acl2/ansi work is in both 2.6.8 and 2.6.9.  These
are (approximately)

symbol exports
:dynamic-extent decls
fast #= support
dispatch macro char fix
with-standard-io-syntax

In addition, one feature requested by Jared is in 2.6.9 only:

-- command line argument support

Please let me know if I've forgotten anything.

Take care,

Matt Kaufmann <kaufmann@cs.utexas.edu> writes:

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

-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Fri Sep 06 10:42:32 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHxF2-000494-DL
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 10:42:32 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:53552)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxEu-0003xh-95
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:42:30 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxEf-0001sk-FQ
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:42:24 -0400
Received: from vms173017pub.verizon.net ([206.46.173.17]:57544)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxEf-0001sX-9t
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:42:09 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.181.222])
	by vms173017.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MSP002G2KTMOGA0@vms173017.mailsrvcs.net> for
	axiom-developer@nongnu.org; Fri, 06 Sep 2013 09:41:46 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VHxEH-0006Hl-U3; Fri,
	06 Sep 2013 10:41:45 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: John Lapeyre <lapeyre.math122a@gmail.com>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>	<5227B7CE.4060403@gmail.com>
Date: Fri, 06 Sep 2013 10:41:45 -0400
In-reply-to: <5227B7CE.4060403@gmail.com>
	(John Lapeyre's message of "Thu, 05	Sep 2013 00:44:30 +0200")
Message-id: <871u52gggm.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.17
Cc: fricas-devel@googlegroups.com, Donald Winiecki <dwiniecki@boisestate.edu>,
	gcl-devel@gnu.org, open-axiom-devel@lists.sf.net,
	Matt Kaufmann <kaufmann@cs.utexas.edu>, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 14:42:30 -0000

Greetings, and thanks for the testing!

John Lapeyre <lapeyre.math122a@gmail.com> writes:

> 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)
>

Just wanted to point out here that the Debian/Ubuntu gcl package
actually ships 4 images:

Cltl1
Cltl1 with gprof support
ANSI
ANSI with gprof support

When the package is installed (gcl ... .deb), these images are toggled
with the environment variables

GCL_ANSI
GCL_PROF

When set, gcl should report what image is running in the startup banner.


If you build your own gcl, you are naturally getting just one image, so
the GCL_ANSI environment variable does nothing.

> 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
>

maxima requires ansi, up until now acl2 required cltl1 (now can use
either).  If I recall axiom can run on either as well.

> 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.
>

I suppose I should look at this at some point.  I never really
understood it.  I always wondered why it had to be so complex, and what
was wrong with make.

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Fri Sep 06 10:43:05 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHxFZ-0004PC-1C
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 10:43:05 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:53776)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxFS-0004Hr-IB
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:43:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxFN-0002Qd-0o
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:42:58 -0400
Received: from vms173023pub.verizon.net ([206.46.173.23]:49754)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxFM-0002PY-SH
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:42:52 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.181.222])
	by vms173023.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MSP00MH5KUSIS90@vms173023.mailsrvcs.net> for
	axiom-developer@nongnu.org; Fri, 06 Sep 2013 09:42:29 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VHxEy-0006Hu-Mp; Fri,
	06 Sep 2013 10:42:28 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: Henry Baker <hbaker1@pipeline.com>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<E1VHLXi-0008RJ-N5@elasmtp-galgo.atl.sa.earthlink.net>
Date: Fri, 06 Sep 2013 10:42:28 -0400
In-reply-to: <E1VHLXi-0008RJ-N5@elasmtp-galgo.atl.sa.earthlink.net>
	(Henry	Baker's message of "Wed, 04 Sep 2013 15:26:17 -0700")
Message-id: <87wqmuf1uz.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.23
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	open-axiom-devel@lists.sf.net,
	Matt Kaufmann <kaufmann@cs.utexas.edu>, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 14:43:04 -0000

Greetings!  And thanks for your feedback!

Henry Baker <hbaker1@pipeline.com> writes:

> Terrific job!  Thanks!
>
> I just looked through the release notes.  Do any versions of GCL support UTF8 ?
>

Not yet.  Is this important?

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Fri Sep 06 10:55:16 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHxRM-0000Dr-Ey
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 10:55:16 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:56821)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxRE-000097-V9
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:55:14 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxR9-0006Tw-Ia
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:55:08 -0400
Received: from vms173025pub.verizon.net ([206.46.173.25]:41628)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxR9-0006Oy-CB
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:55:03 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.181.222])
	by vms173025.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MSP00LY7LFAS110@vms173025.mailsrvcs.net> for
	axiom-developer@nongnu.org; Fri, 06 Sep 2013 09:54:46 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VHxQr-0006Id-Uo; Fri,
	06 Sep 2013 10:54:45 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: "Tim Daly" <daly@axiom-developer.org>
References: <20130904030002.8D084687C6@u1204>
Date: Fri, 06 Sep 2013 10:54:45 -0400
In-reply-to: <20130904030002.8D084687C6@u1204>
	(Tim Daly's message of "Tue, 3	Sep 2013 23:00:02 -0400 (EDT)")
Message-id: <87ppsmf1ai.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.25
Cc: fricas-devel@googlegroups.com, Donald Winiecki <dwiniecki@boisestate.edu>,
	"GCL-devel@gnu.org" <gcl-devel@gnu.org>, open-axiom-devel@lists.sf.net,
	Matt Kaufmann <kaufmann@cs.utexas.edu>, maxima@math.utexas.edu,
	Axiom-Developer <axiom-developer@nongnu.org>
Subject: [Axiom-developer] Call for Windows Vista/7 MINGW remote vnc access
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 14:55:14 -0000

Hi Tim!  Please excuse the large cc list, but this has come up
elsewhere.

Don writes:

> 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.

We have attempted a remote gdb session, and will continue, but gdb
raw_pre_gcl.exe is not even getting to main, so I suspect something
about the static memory setup.  2.6.9 works on Wine, and I'm taking this
as evidence that my use of wine to emulate windows is only reliable up
through WinXP.  Alas, Don cannot get permission for remote vnc access.

You did very helpfully provide me with vnc access some time ago, and
write now:

"Tim Daly" <daly@axiom-developer.org> writes:

> I changed out the hard drive and put in Windows 7.
> Unfortunatly I cannot figure out how to enable a
> remote desktop. Damn MS moved all the settings.
> Ideas?
>
> Tim

Alas, I know nothing of Windows.  Perhaps someone here can help?  Does
anyone else already have vnc access to a win vista/mingw machine or
higher?

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Fri Sep 06 11:23:42 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHxss-0004KO-Tz
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 11:23:42 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:36792)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxsm-0004Iv-6s
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 11:23:41 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxsh-00009R-23
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 11:23:36 -0400
Received: from vms173017pub.verizon.net ([206.46.173.17]:19646)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VHxsg-00009B-TG
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 11:23:30 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.181.222])
	by vms173017.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MSP0019DMQM8K30@vms173017.mailsrvcs.net> for
	axiom-developer@nongnu.org; Fri, 06 Sep 2013 10:23:11 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VHxsM-0006KR-JU; Fri,
	06 Sep 2013 11:23:10 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: Matt Kaufmann <kaufmann@cs.utexas.edu>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<CAOyCyQ=jWi4uiO4Yq-tMM4KQeTaULijL2sanRwLQh+jNcLp-fA@mail.gmail.com>
	<201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
Date: Fri, 06 Sep 2013 11:23:10 -0400
In-reply-to: <201309042137.r84Lb2s7025295@sloth.cs.utexas.edu>
	(Matt	Kaufmann's message of "Wed, 4 Sep 2013 16:37:02 -0500")
Message-id: <87hadyezz5.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.17
Cc: fricas-devel@googlegroups.com, Donald Winiecki <dwiniecki@boisestate.edu>,
	gcl-devel@gnu.org, open-axiom-devel@lists.sf.net,
	maxima@math.utexas.edu, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 15:23:41 -0000

Greetings!

Matt Kaufmann <kaufmann@cs.utexas.edu> writes:

> 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.
>

I've already tried a stab at this in the release announcement, but just
a note that ANSI works and is available wherever gcl is available in any
flavor.   This includes a very large list of GNU/Linux and BSD
distributions/processor combinations  -- gcl even still supports Motorola
68k processors -- windows and mac.  

Smooth support is very correlated to 24/7 remote access to a development
machine.  This inevitably rises and falls as tastes change over time.
I've taken the perspective that if such a machine cannot be provided,
then the platform either does not want to be supported or is dying.
There is no sense to waste limited human time chasing such situations,
but for the record here are some of the latest developments:

last available hppa machine dropped by the gcc compile farm.
one remaining ia64 machine has no gdb support
solaris available through a kind friend sporadically on request, and at
  considerable personal expense to him.
no access to latest macosx (2?) version(s)
no access to latest 3 windows versions or working emulators.
sporadic access by request to a few of the linux debian-ports targets

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Fri Sep 06 11:52:57 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VHyLA-0003uv-G9
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 11:52:56 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44145)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>) id 1VHyL2-0003gm-Nv
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 11:52:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>) id 1VHyKx-0001S0-9O
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 11:52:48 -0400
Received: from elasmtp-dupuy.atl.sa.earthlink.net ([209.86.89.62]:34029)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hbaker1@pipeline.com>)
	id 1VHyKm-0001AK-9V; Fri, 06 Sep 2013 11:52:32 -0400
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=dk20050327; d=pipeline.com;
	b=aWR9dqesOIiLEbbv+fXxLnNwRYYPLcrO1UAAf7y2kWt9hfsp+dQ8rj1DKlcSKKo2;
	h=Received:X-Mailer:Date:To:From:Subject:Cc:In-Reply-To:References:Mime-Version:Content-Type:Message-ID:X-ELNK-Trace:X-Originating-IP;
Received: from [96.247.225.109] (helo=YOUR-8FLQAMAVO8.pipeline.com)
	by elasmtp-dupuy.atl.sa.earthlink.net with esmtpa (Exim 4.67)
	(envelope-from <hbaker1@pipeline.com>)
	id 1VHyKa-0006ZQ-Jl; Fri, 06 Sep 2013 11:52:20 -0400
X-Mailer: QUALCOMM Windows Eudora Version 7.1.0.9
Date: Fri, 06 Sep 2013 08:50:29 -0700
To: Camm Maguire <camm@maguirefamily.org>
From: Henry Baker <hbaker1@pipeline.com>
In-Reply-To: <87wqmuf1uz.fsf@maguirefamily.org>
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<E1VHLXi-0008RJ-N5@elasmtp-galgo.atl.sa.earthlink.net>
	<87wqmuf1uz.fsf@maguirefamily.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Message-ID: <E1VHyKa-0006ZQ-Jl@elasmtp-dupuy.atl.sa.earthlink.net>
X-ELNK-Trace: 1ae2556e383722335a792f37df7f8ca8ba196d48fc2e3f08496ade14bf7a86fd9fad26c808acfb9e350badd9bab72f9c350badd9bab72f9c350badd9bab72f9c
X-Originating-IP: 96.247.225.109
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x
X-Received-From: 209.86.89.62
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	open-axiom-devel@lists.sf.net,
	Matt Kaufmann <kaufmann@cs.utexas.edu>, maxima@math.utexas.edu,
	axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 15:52:54 -0000

UTF8 isn't 'critical', but not having it means that interfacing with
file systems & documents that utilize UTF8 is quite difficult.

At 07:42 AM 9/6/2013, Camm Maguire wrote:
>Greetings!  And thanks for your feedback!
>
>Henry Baker <hbaker1@pipeline.com> writes:
>
>> Terrific job!  Thanks!
>>
>> I just looked through the release notes.  Do any versions of GCL support UTF8 ?
>
>Not yet.  Is this important?
>
>Take care,
>-- 
>Camm Maguire                                        camm@maguirefamily.org
>==========================================================================
>"The earth is but one country, and mankind its citizens."  --  Baha'u'llah



From MAILER-DAEMON Fri Sep 06 17:07:02 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VI3F8-0002o0-EA
	for mharc-axiom-developer@gnu.org; Fri, 06 Sep 2013 17:07:02 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58855)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <nb0yjxtr@sdf.org>) id 1VI0tw-0001XV-PS
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 14:37:06 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <nb0yjxtr@sdf.org>) id 1VI0tn-0000yN-91
	for axiom-developer@nongnu.org; Fri, 06 Sep 2013 14:37:00 -0400
Received: from mx.sdf.org ([192.94.73.19]:55487 helo=sdf.lonestar.org)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <nb0yjxtr@sdf.org>)
	id 1VI0tm-0000xV-Qx; Fri, 06 Sep 2013 14:36:51 -0400
Received: from sdf.org
	(IDENT:U2FsdGVkX1/MNfTnRb6ujgJA68pXzbfBqYG/nIM9xGM@ma.sdf.org
	[192.94.73.31])
	by sdf.lonestar.org (8.14.7/8.14.5) with ESMTP id r86I2jDP001534
	(using TLSv1/SSLv3 with cipher DHE-RSA-AES256-SHA (256 bits) verified
	NO); Fri, 6 Sep 2013 18:02:45 GMT
Received: (from nb0yjxtr@localhost)
	by sdf.org (8.14.4/8.12.8/Submit) id r86I2eda018429;
	Fri, 6 Sep 2013 18:02:40 GMT
Date: Fri, 6 Sep 2013 18:02:40 GMT
Message-Id: <201309061802.r86I2eda018429@sdf.org>
From: Leo Butler <l_butler@users.sourceforge.net>
To: Henry Baker <hbaker1@pipeline.com>
In-reply-to: <E1VHyKa-0006ZQ-Jl@elasmtp-dupuy.atl.sa.earthlink.net> (message
	from Henry Baker on Fri, 6 Sep 2013 08:50:29 -0700)
References: <8738pvp22f.fsf@maguirefamily.org>
	<201309042122.r84LMEXt024883@sloth.cs.utexas.edu>
	<E1VHLXi-0008RJ-N5@elasmtp-galgo.atl.sa.earthlink.net>
	<87wqmuf1uz.fsf@maguirefamily.org>
	<E1VHyKa-0006ZQ-Jl@elasmtp-dupuy.atl.sa.earthlink.net>
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-MIME-Autoconverted: from 8bit to quoted-printable by sdf.lonestar.org id
	r86I2jDP001534
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 192.94.73.19
X-Mailman-Approved-At: Fri, 06 Sep 2013 17:07:01 -0400
Cc: fricas-devel@googlegroups.com, dwiniecki@boisestate.edu, gcl-devel@gnu.org,
	camm@maguirefamily.org, open-axiom-devel@lists.sf.net,
	kaufmann@cs.utexas.edu, maxima@math.utexas.edu, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [Maxima] [Gcl-devel] GCL 2.6.8 and 2.6.9 are
	released
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 06 Sep 2013 18:37:06 -0000

   From: Henry Baker <hbaker1@pipeline.com>

   UTF8 isn't 'critical', but not having it means that interfacing with
   file systems & documents that utilize UTF8 is quite difficult.

Henry, I don't know if the following answers your question, but I do
suspect you and Camm have different ideas of what 'handling' utf8
means. It may be that for your purposes, it handles them well enough.

This is from gcl 2.6.9 ansi from the debian testing repo:

>(with-open-file (=CF=87-stream "=CE=B1=CE=B2=CE=B3.txt" :direction :outp=
ut :if-exists :supersede :if-does-not-exist :create) (format =CF=87-strea=
m "=CE=B1=CE=B2=CE=B3"))

NIL

>(with-open-file (=CF=87-stream "=CE=B1=CE=B2=CE=B3.txt" :direction :inpu=
t) (read-line =CF=87-stream nil nil))

"=CE=B1=CE=B2=CE=B3"
T

>(coerce (symbol-name '=CF=87) 'list)

(#\\317 #\\207)

SBCL, by contrast, yields:

* (coerce (symbol-name '=CF=87) 'list)

(#\GREEK_CAPITAL_LETTER_CHI)

In case the mail server or client corrupts the message, gcl is
interning a symbol with a non-ascii char and it is creating a file
with non-ascii chars in its name and successfully writing to and
reading from that file.

I have been using maxima+{gcl,ecl,sbcl,cmucl} plus this hack

https://github.com/leo-butler/utf8-hack

to use utf8 chars in maxima. This works fine in emacs and (sort of) in
xmaxima.  Wxmaxima does not display wide chars correctly and I have
not chased a solution.

Leo


From MAILER-DAEMON Wed Sep 18 15:59:51 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VMNuh-0006a7-0m
	for mharc-axiom-developer@gnu.org; Wed, 18 Sep 2013 15:59:51 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35655)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VMNuZ-0006TJ-GY
	for axiom-developer@nongnu.org; Wed, 18 Sep 2013 15:59:49 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VMNuM-0001Od-Ft
	for axiom-developer@nongnu.org; Wed, 18 Sep 2013 15:59:43 -0400
Received: from vms173025pub.verizon.net ([206.46.173.25]:54687)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VMNuM-0001OT-B0
	for axiom-developer@nongnu.org; Wed, 18 Sep 2013 15:59:30 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.180.133])
	by vms173025.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MTC00B3I7IERIG0@vms173025.mailsrvcs.net> for
	axiom-developer@nongnu.org; Wed, 18 Sep 2013 14:59:18 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VMNtu-0008UH-Hc; Wed,
	18 Sep 2013 15:59:02 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: gcl-devel@gnu.org,Matt Kaufmann <kaufmann@cs.utexas.edu>,
	fricas-devel@googlegroups.com, Donald Winiecki <dwiniecki@boisestate.edu>,
	open-axiom-devel@lists.sf.net, 
	maxima@math.utexas.edu, axiom-developer@nongnu.org
Date: Wed, 18 Sep 2013 15:59:02 -0400
Message-id: <87mwn9sxyx.fsf@maguirefamily.org>
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.25
Subject: [Axiom-developer] Version_2_6_10pre
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 18 Sep 2013 19:59:49 -0000

Greetings!  This branch contains some quick fixups to the 2.6.9 release:

* - Version_2_6_10pre origin/Version_2_6_10pre 0a9a24cf lintian fix to VirtualFree call in unexnt.c
* ---------------------- Version_2_6_10pre@{1} 3003336c rehardwire heap start address on windows
* ---------------------- Version_2_6_10pre@{2} 690d58cd try not fixing heap start address on windws
* ---------------------- Version_2_6_10pre@{3} 9a54f6a0 try for up to 2 Gb heap on windows
* ---------------------- Version_2_6_10pre@{4} 1fb921b5 try to fix deallocation in windows heap probe
* ---------------------- Version_2_6_10pre@{5} 3e2d5445 clean windows heap size probe
* ---------------------- Version_2_6_10pre@{6} 59792fe5 don't rely on errno on macosx heap size probe
* ---------------------- Version_2_6_10pre@{7} df46f8d3 try to probe heap size on windows
* ---------------------- Version_2_6_10pre@{8} 4b8dd9b8 Use brk wrapper around sbrk to consolidate behavior when latter is emulated
* ---------------------- Version_2_6_10pre@{9} ca15eecc probe heap size up to 32Gb on macosx
* --------------------- Version_2_6_10pre@{10} 57dedec1 allocate gcl_zone_body in static area, as malloc_create_zone returns a pointer to read-only memory in macosx 10.8
* -------------------------------------------- 8d89bd77 work around unlinkable profile prototype in macosx 10.8 64bit
* -------------------------------------------- 946fa113 clear prototype mismatch warning
* -------------------------------------------- 2d456775 Set windows heap start to stable 0x10100000 of 2.6.8 for now
* -------------------------------------------- cbf12e7b place parenthesis around argument to cast in make_fixnum, fix invalid lvalue
* -------------------------------------------- 01a959cc support for empty filenames following -f on command line
* -------------------------------------------- 0eb71c71 fix documentation formatting errors
* -------------------------------------------- b9c3f3e9 zero firstword in set_type_of macro to handle C stack objects
* ------ origin/Version_2_6_9pre Version_2_6_9 b75be097 fix allocate functions

Primarily this fixes the builds on win7 and higher, and macosx 10.7 and
higher.  There is also a fix to an obscure bug revealed by acl2, as well
as a syntax error blocking fricas trunk.  Heap sizes are also dynamic on
windows and macosx, making available much more memory.

I'd like to release this ASAP.  However, I've been informed by the
fricas people that 2.6.9 is much slower for them than 2.6.8.  I haven't
had the time to look into this, and have not experienced this with other
software.  Nevertheless, if someone might isolate any performance
degradation issues in the next few days, I'll try to get a fix in to
2.6.10. 

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


