Re: [Gcl-devel] Bad plist

[Camm Maguire]

Greetings!

Matt Kaufmann <address@hidden> writes:

> 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 think more broadly we need 32bit testing, but no need to trouble you
about this.  Perhaps I'll write to gripe and enquire.

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

Great!

Take care,

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

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