[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Bad plist
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Bad plist |
Date: |
Fri, 07 Jun 2013 13:35:35 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) |
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