Does anyone else get a segfault when running "gsi" built on OS X (10.11.1) when "--enable-shared" is configured? I do not get this behavior when building without "--enable-shared". I mainly use Linux, and I've never had this issue on Linux.
I built gambit (gambit-v4_8_1-devel.tgz) by "CC=gcc-mp-4.6 ./configure --enable-single-host --enable-shared --prefix=/Users/billsix/opt/gambit/build/ && make && make install"
Bill-Sixs-Mac-mini:gambit billsix$ gsi
Segmentation fault: 11
Bill-Sixs-Mac-mini:gambit billsix$ which gsi
/Users/billsix/opt/gambit/build/bin/gsi
Bill-Sixs-Mac-mini:gambit billsix$ otool -L $(which gsi)
/Users/billsix/opt/gambit/build/bin/gsi:
/Users/billsix/opt/gambit/build/lib/libgambitgsi.dylib (compatibility version 0.0.0, current version 0.0.0)
/Users/billsix/opt/gambit/build/lib/libgambit.dylib (compatibility version 0.0.0, current version 0.0.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1225.1.1)
/opt/local/lib/libgcc/libgcc_s.1.dylib (compatibility version 1.0.0, current version 1.0.0)
System
OS X Version 10.11.1
GCC - I've tried using macport's GCC 46 and 49
Any help would be appreciated.
Thanks,
Bill Six