Greetings! Matt Kaufmann <[email protected]> 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 <[email protected]> > Cc: [email protected] > Date: Thu, 06 Jun 2013 18:43:25 -0400 > > Greetings! > > Matt Kaufmann <[email protected]> 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 <[email protected]> > > Subject: almost ready > > To: [email protected] > > 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 > [email protected] > ========================================================================== > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > > > > -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
