[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Bad plist
From: |
Matt Kaufmann |
Subject: |
Re: [Gcl-devel] Bad plist |
Date: |
Thu, 6 Jun 2013 23:21:40 -0500 |
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