Re: [Gcl-devel] Bad plist

[Matt Kaufmann]

Hi again --

>> ... I've fixed bad plist!  This is in 2.6.8 and is now in the 
>> /p/bin/gcl-2.6.8pre-big
>> at ut.

That's fantastic!  This has been a persistent (albeit intermittent and
reasonably rare) issue for many years -- WELL DONE!!

Regarding 32-bit: I'm not too concerned personally, but if you want me
to do something, let me know.

I'll modify the ACL2 installation instructions that pertain to GCL to
clarify that recent versions solve the intermittent "bad plist"
problem, with a link expected to appear by mid-June.

Thanks --
-- Matt
   From: Camm Maguire <address@hidden>
   Cc: address@hidden
   Date: Thu, 06 Jun 2013 18:43:25 -0400

   Greetings!

   Matt Kaufmann <address@hidden> writes:

   > Hi, Camm --
   >
   > I've updated instructions for obtaining GCL as best as I reasonably
   > could, and put the results here for you to look at if you have a
   > moment:
   >
   > 
http://www.cs.utexas.edu/users/kaufmann/temp/requirements.html#Obtaining-GCL
   >

   This looks reasonably good.  One exception -- in doing 2.6.9, I've fixed
   bad plist!  This is in 2.6.8 and is now in the /p/bin/gcl-2.6.8pre-big
   at ut.

   I've noticed that all the 32bit ut machines are gone!  I think 32bit
   binaries can still be run using setarch.  This might be useful for
   testing purposes.  I will try to get 32bit builds available under /p
   somewhere and let you know when I figure it out :-).

   > If you take a look and find anything amiss, please let me know.  And
   > if you can give me a command for downloading a fixed version of GCL
   > that won't change but is currently up to date, that would be great.
   > (That's really all I was trying to say below.)
   >

   I estimate one week for the fixed tarball.  Sorry its not prepared
   sooner. 

   > Sorry if I'm not incorporating information you already gave me.  I did
   > look back through it, but some of it seems kind of specific to Debian
   > in a way that I might not be understanding.
   >

   Thank you for your patience with the bursty nature of gcl development
   :-)!

   Take care,

   > Thanks --
   > -- Matt
   >
   > From: Matt Kaufmann <address@hidden>
   > Subject: almost ready
   > To: address@hidden
   > Date: 1 Jun 2013 10:42:40 -0500
   >
   > Hi, Camm --
   >
   > I'm planning to start final testing for ACL2 6.2 on Monday.  It would
   > be good, before then, to know have instructions for obtaining sources
   > that correspond to the GCL I'll use at UT (so that I can put an
   > executable on the web later, that I've tested, along with the
   > requisite instructions for obtaining GCL sources).  I can definitely
   > work around not having that -- but I thought I'd give you this
   > heads-up.
   >
   > (Out of town now -- not much email contact till Monday morning, but
   > maybe some.)
   >
   > Thanks --
   > - -- Matt
   > ----------
   >

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