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