Re: [Gcl-devel] Re: 32bit GCL

[Gabriel Dos Reis]

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’
   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