On Jun 6, 2012, at 7:14 PM, Kirill Zorin wrote:

Thanks Mikel! Is there a typo in the below?

On 2012-06-06, at 7:59 PM, mikel evins wrote:

using Gambit 4.6.1. We rolled back to a 4.6.1-based

Yep; good catch. I saw the crashing problem with Gambit 4.6.6. We rolled back to 4.6.1.

As you described, after executing setup, our iOS builds would segfault at some random time later. Like yours, our build was done with clang (the most recent Xcode provides only llvm-based compilers).