Hi Camm,
I can continue building GCL on Windows for the project, so if you get there
I'll produce an executable for whoever is out there.
_don
On Thu, Jul 15, 2010 at 11:49 AM, Camm Maguire <c...@maguirefamily.org>wrote:
> 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" <rage...@cs.utexas.edu> 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 <c...@maguirefamily.org>
> wrote:
> >> "David L. Rager" <rage...@cs.utexas.edu> 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 <c...@maguirefamily.org>
> wrote:
> >>>> Greetings!
> >>>>
> >>>> "David L. Rager" <rage...@cs.utexas.edu> 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 <
> kaufm...@cs.utexas.edu> 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 <kaufm...@cs.utexas.edu>
> >>>>>>> To: c...@maguirefamily.org
> >>>>>>> In-reply-to: <874og9zss7....@maguirefamily.org> (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 <c...@maguirefamily.org>
> >>>>>>> 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
> c...@maguirefamily.org
> >>>>>>>
> ==========================================================================
> >>>>>>> "The earth is but one country, and mankind its citizens." --
> Baha'u'llah
> >>>>>>> ------- End of forwarded message -------
> >>>>>>>
> >>>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>
> >>>> --
> >>>> Camm Maguire
> c...@maguirefamily.org
> >>>>
> ==========================================================================
> >>>> "The earth is but one country, and mankind its citizens." --
> Baha'u'llah
> >>>>
> >>>
> >>>
> >>>
> >>>
> >>
> >> --
> >> Camm Maguire
> c...@maguirefamily.org
> >>
> ==========================================================================
> >> "The earth is but one country, and mankind its citizens." --
> Baha'u'llah
> >>
> >
> >
> >
> >
>
> --
> Camm Maguire c...@maguirefamily.org
> ==========================================================================
> "The earth is but one country, and mankind its citizens." -- Baha'u'llah
>
> _______________________________________________
> Gcl-devel mailing list
> Gcl-devel@gnu.org
> http://lists.gnu.org/mailman/listinfo/gcl-devel
>
_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/gcl-devel
