[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: 32bit GCL
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] Re: 32bit GCL |
Date: |
Sun, 08 Aug 2010 23:16:07 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) |
Greetings!
Gabriel Dos Reis <address@hidden> writes:
> Matt Kaufmann <address@hidden> writes:
>
> | Hi, Camm --
> |
> | I've just grabbed the latest cvs version of GCL 2.6.8pre and built
> | ACL2 with it, on my Intel Mac running Mac OS 10.6.4. The build
> | succeeded, as did a run of the ACL2 regression suite (using a
> | development copy of ACL2, not much different from ACL2 4.0) -- well,
> | almost. (But almost is still great -- thanks!) Here's the story.
>
>
> I'm slightly less lucky. I just tried a build on dawring 9.8.0: It
> failed with
>
> >gcc -c -m32 -Wall -DVOL=volatile -fsigned-char -pipe -O3
> -fomit-frame-pointer -I/Users/gdr/sandbox/gcl-2.6.8.cvs/o -I../o -I../h
> -I/opt/local/lib/../include -I/opt/local/lib/../include guis.c
> guis.c: In function ‘main’:
> guis.c:293: error: too many arguments to function ‘setpgrp’
OK think this one is fixed too. Would be great if someone could check
whether gcl-tk builds on a mac now.
Take care
> make[1]: *** [guis.o] Error 1
> make: *** [do-gcl-tk] Error 2
>
> real 4m57.520s
> user 3m49.066s
> sys 1m5.671s
> ring:gcl-2.6.8.cvs gdr$ uname -a
> Darwin ring.cs.tamu.edu 9.8.0 Darwin Kernel Version 9.8.0: Wed Jul 15
> 16:55:01 PDT 2009; root:xnu-1228.15.4~1/RELEASE_I386 i386
>
>
> Do I need special config flags?
>
> -- Gaby
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Re: 32bit GCL, Camm Maguire, 2010/08/06
- [Gcl-devel] Re: 32bit GCL, Matt Kaufmann, 2010/08/06
- Re: [Gcl-devel] Re: 32bit GCL, Gabriel Dos Reis, 2010/08/06
- Re: [Gcl-devel] Re: 32bit GCL, George W. Dinolt, 2010/08/06
- Re: [Gcl-devel] Re: 32bit GCL, Gabriel Dos Reis, 2010/08/06
- Re: [Gcl-devel] Re: 32bit GCL, Camm Maguire, 2010/08/08
- Re: [Gcl-devel] Re: 32bit GCL, Gabriel Dos Reis, 2010/08/09
- Re: [Gcl-devel] Re: 32bit GCL, Camm Maguire, 2010/08/13
- Re: [Gcl-devel] Re: 32bit GCL, Gabriel Dos Reis, 2010/08/13
- Re: [Gcl-devel] Re: 32bit GCL, Camm Maguire, 2010/08/14
- Re: [Gcl-devel] Re: 32bit GCL,
Camm Maguire <=
[Gcl-devel] Re: 32bit GCL, Camm Maguire, 2010/08/08