Greetings! Gabriel Dos Reis <g...@cs.tamu.edu> writes:
> Matt Kaufmann <kaufm...@cs.utexas.edu> 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 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