[Gcl-devel] MacOS X status

[Aurelien Chanudet]

Hi,

In short, GCL and ACL2 are now working back again on Mac OS X Panther.

- BFD : I applied my patches to the local BFD tree, as Camm suggested, 
carried out tests on a Debian machine (the only non OSX machine I have) 
to make sure the modifications didn't break anything, and haven't 
noticed any breakage. Using BFD is now what I would recommend for MacOS 
X (--enable-locbfd). In order to add BFD support for MacOS X, I had to 
modify sfaslbfd.c (see patch in the attached file). This has previously 
been discussed here :

http://mail.gnu.org/archive/html/gcl-devel/2003-11/msg00108.htm.

- SGC : The recent changes to sgbc.c had broken compatibility with 
MacOS X because a segmentation fault raises SIGBUS on MacOS X, whereas 
it apparently raises SIGSEGV elsewhere. AFAICT, everything is now 
working back again thanks to one of the attached patches.

- Additionally, I've modified configure.in in order to set appropriate 
defaults for MacOS X and to detect DBEGIN properly.

Aurelien

patches.tar.gz
Description: GNU Zip compressed data