[Gcl-devel] Re: address@hidden: Re: ACL2 Version 4.0]

[Camm Maguire]

Great!  acl2-4.0 test builds are in progress on bbh and the x86 mac
axiom provides.  One last porting nightmare is windows/mingw, if
anyone still cares/uses this.  I believe you have had a test box at
your cite once in the past.  If this support is of interest to you and
you could reactivate this machine, please let me know.

Take care,

"David L. Rager" <address@hidden> writes:

> Hi Camm,
>
> Okay, good.  I think for now, if you're happy we're happy.  Please let
> me know if you need something else.
>
> Thanks,
> David
>
> On Sun, Jul 11, 2010 at 4:37 PM, Camm Maguire <address@hidden> wrote:
>> "David L. Rager" <address@hidden> writes:
>>
>>> Hello Camm,
>>>
>>> Matt was able to grant me root access on bbh earlier today, and I was
>>> able install gcc-4.2 and g++4.2.  I tested gcc with a simple C program
>>> and it worked.  g++ couldn't compile the same program, but unless you
>>> actually need g++, I'm okay leaving g++ [potentially] broken.
>>>
>>> which gcc-4.2
>>> ==>
>>> /usr/bin/gcc-4.2
>>>
>>> which g++-4.2
>>> ==>
>>> /usr/bin/g++-4.2
>>>
>>> I didn't install the xcode package, because I think it contains
>>> significantly more than we need, and the xcode installer wanted a gui
>>> when I tried earlier (which I don't have at the moment).  The 4.2
>>> version of GCC looks to be the most recent version available for OS-X,
>>> or, at least, it was the most recent version that ATT labs had
>>> available.  I did go through the process to "become an apple
>>> developer", so if it turns out you'd like the disk image necessary to
>>> install xcode, I'll happily send you the 700 megabyte file.
>>>
>>> Please let me know if you need something else.
>>
>> Thank you so much!  I think this suffices.  On ppc, 4.0 and 4.2
>> relocations appear identical so all is good.  However, I thought I'd
>> let you know that there was soe problem with the 4.2 installation on
>> bbh.
>>
>> 1) Cannot compile with -g:
>>
>> bbh:~/ngcl/o camm$ gcc-4.2  -c -mlongcall -g -O2  -Wall -DVOL=volatile 
>> -fsigned-char -pipe -g   -I/Users/camm/gcl-2.6.8pre/o -I../h -I../gcl-tk 
>> plttest.c
>> {standard input}:3:unknown section attribute: debug
>> {standard input}:3:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:4:unknown section attribute: debug
>> {standard input}:4:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:5:unknown section attribute: debug
>> {standard input}:5:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:6:unknown section attribute: debug
>> {standard input}:6:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:7:unknown section attribute: debug
>> {standard input}:7:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:8:unknown section attribute: debug
>> {standard input}:8:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:9:unknown section attribute: debug
>> {standard input}:9:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:10:unknown section attribute: debug
>> {standard input}:10:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:11:unknown section attribute: debug
>> {standard input}:11:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:12:unknown section attribute: debug
>> {standard input}:12:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:13:unknown section attribute: debug
>> {standard input}:13:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:15:unknown section attribute: debug
>> {standard input}:15:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:16:unknown section attribute: debug
>> {standard input}:16:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:17:unknown section attribute: debug
>> {standard input}:17:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:533:unknown section attribute: debug
>> {standard input}:533:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:589:unknown section attribute: debug
>> {standard input}:589:Rest of line ignored. 1st junk character valued 76 (L).
>> {standard input}:677:unknown section attribute: debug
>> {standard input}:677:Rest of line ignored. 1st junk character valued 32 ( ).
>> {standard input}:1063:Complex expression. Absolute segment assumed.
>> {standard input}:1072:Complex expression. Absolute segment assumed.
>> {standard input}:1079:Complex expression. Absolute segment assumed.
>> {standard input}:1086:Complex expression. Absolute segment assumed.
>> {standard input}:1098:Complex expression. Absolute segment assumed.
>> {standard input}:1129:Complex expression. Absolute segment assumed.
>> {standard input}:1150:unknown section attribute: debug
>> {standard input}:1150:Rest of line ignored. 1st junk character valued 32 ( ).
>> {standard input}:1408:unknown section attribute: debug
>> {standard input}:1408:Rest of line ignored. 1st junk character valued 32 ( ).
>> {standard input}:1416:unknown section attribute: debug
>> {standard input}:1416:Rest of line ignored. 1st junk character valued 32 ( ).
>> {standard input}:1436:unknown section attribute: debug
>> {standard input}:1436:Rest of line ignored. 1st junk character valued 32 ( ).
>> {standard input}:1449:unknown section attribute: debug
>> {standard input}:1449:Rest of line ignored. 1st junk character valued 32 ( ).
>>
>>
>> 2) Doing the final link with 4.2 apparently brings in a bogus execve
>> from libc:
>>
>> gcc-4.2  -o raw_gcl  -L.    -lgcl `echo -lm  -lreadline -lz | sed -e 
>> 's/-lncurses/ /'` -lc -lgclp
>> ...
>>
>> init_darwin_zone_compat(): execv() failed
>> make: *** [saved_gcl] Error 1
>>
>> gcc-4.0  -o raw_gcl  -L.    -lgcl `echo -lm  -lreadline -lz | sed -e 
>> 's/-lncurses/ /'` -lc -lgclp
>>
>> OK
>>
>> I think I've tested this enough to determine what I was looking for,
>> so you really don't have to bother any further unless you want to.
>> But just a heads up that 4.2 on this box is not useable as is.
>>
>> Take care,
>>
>>>
>>> Thanks!
>>> David
>>>
>>> On Fri, Jul 9, 2010 at 5:31 AM, Camm Maguire <address@hidden> wrote:
>>>> Greetings!
>>>>
>>>> "David L. Rager" <address@hidden> writes:
>>>>
>>>>> Greetings Camm,
>>>>>
>>>>> I just wanted to let you know that I'm looking into updating gcc on
>>>>> Matt's mac.  I'm guessing that the current version of gcc is too old.
>>>>> It's looking like it'll be a couple hours worth of work (and I'm
>>>>> uncertain at the moment whether I'll be able to get it done), so I
>>>>> thought I would ask that question first.
>>>>>
>>>>
>>>> The current version works fine.  Its just that I am finalizing mac osx
>>>> support for gcl, and on the intel mac at least, the relocation records
>>>> output by gcc-4.0 and gcc-4.2 are different.  I think these are the
>>>> only two gcc versions supported on mac (can you verify this?)  I'd
>>>> just like to ensure that the patch I have will work with both versions
>>>> on both cpus to head off future user complaints.
>>>>
>>>> If it is too difficult, we can just forget about it and require
>>>> gcc-4.0 only on ppc.  On the intel, gcc-4.0 and 4.2 can coexist -- the
>>>> default compiler is not changed.  Does that simplify anything?
>>>>
>>>> Take care,
>>>>
>>>>> Thanks,
>>>>> David
>>>>>
>>>>>> On Thu, Jul 8, 2010 at 9:30 PM, Matt Kaufmann <address@hidden> wrote:
>>>>>>> Hi, David --
>>>>>>>
>>>>>>> Camm Maguire (the GCL "god") just sent me a request (see thread
>>>>>>> below).  Would you be willing to help him?  Someone in the Tower has a
>>>>>>> key to my office (probably Robert).  But I don't know if you're in
>>>>>>> town, have time, or know how to do this sort of thing.
>>>>>>>
>>>>>>> Xcode might already be installed on bbh, since we do have "make" on
>>>>>>> that machine, but I'm not sure.  I don't know anything about
>>>>>>> installing gcc on a Mac but maybe the latest version is included with
>>>>>>> Xcode.  It would be good to help Camm, but I know it's not on the path
>>>>>>> to your dissertation....
>>>>>>>
>>>>>>> Feel free to reply directly to Camm, and to CC me if you remember and
>>>>>>> don't mind.  Or if you're not going to do it, please let me know and
>>>>>>> I'll tell him that I can't help him.
>>>>>>>
>>>>>>> Thanks --
>>>>>>> -- Matt
>>>>>>> ------- Start of forwarded message -------
>>>>>>> Date: 8 Jul 2010 14:27:14 -0500
>>>>>>> From: Matt Kaufmann <address@hidden>
>>>>>>> To: address@hidden
>>>>>>> In-reply-to: <address@hidden> (message from Camm Maguire on
>>>>>>>        Thu, 08 Jul 2010 15:18:32 -0400)
>>>>>>> Subject: Re: ACL2 Version 4.0
>>>>>>>
>>>>>>> Hi, Camm --
>>>>>>>
>>>>>>> Unfortunately, I'm not in my office -- instead I'm packing for a trip
>>>>>>> to the UK -- leaving tomorrow (Friday) and returning September 15.  I
>>>>>>> expect to be connected while I'm away (including email), but I don't
>>>>>>> know how to install stuff on a Mac unless I'm at the terminal.
>>>>>>>
>>>>>>> I know someone who might be able to help -- I'll email him.
>>>>>>>
>>>>>>> Sorry I can't be more helpful --
>>>>>>> - -- Matt
>>>>>>>   From: Camm Maguire <address@hidden>
>>>>>>>   Date: Thu, 08 Jul 2010 15:18:32 -0400
>>>>>>>   X-MagicMail-UUID: efd06ae4-8ac5-11df-9e93-000c29c6406d
>>>>>>>   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
>>>>>>>   X-UTCS-Spam-Status: No, hits=-272 required=165
>>>>>>>
>>>>>>>   Greetings again!  One last item -- could you look into perhaps
>>>>>>>   installing the latest gcc available for your ppc mac?  I think at
>>>>>>>   least 4.2 should be in 'xcode', whatever that is.
>>>>>>>
>>>>>>>   Thanks!
>>>>>>>   --
>>>>>>>   Camm Maguire                                     address@hidden
>>>>>>>   
>>>>>>> ==========================================================================
>>>>>>>   "The earth is but one country, and mankind its citizens."  --  
>>>>>>> Baha'u'llah
>>>>>>> ------- End of forwarded message -------
>>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>
>>>> --
>>>> 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
>>
>
>
>
>

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