Marc:

Can you remind me briefly how to build Gambit for iOS?

I naively tried

% misc/build-gambit-iOS

but it ended with

In file included from _num.c:776:
../include/gambit.h:19:10: fatal error: 'config.h' file not found
#include "config.h"
         ^
In file included from _io.c:1365:
../include/gambit.h:19:10: fatal error: 'config.h' file not found
#include "config.h"
         ^
1 error generated.
make: *** [_num.o] Error 1
make: *** Waiting for unfinished jobs....
1 error generated.
make: *** [_io.o] Error 1