[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Gabriel Dos Reis
Subject: Re: [Gcl-devel] Re: 32bit GCL
Date: Fri, 06 Aug 2010 16:32:38 -0500

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]