Changes to make xsb run better under SGI. Still, foreign C interface
doesn't seem to work on SGI.
Authored by: kifer 1999-07-22
Parent: [r1006]
Child: [r1008]