[Gcl-devel] Bad plist

[Camm Maguire]

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