I believe that the android NDK defines ANDROID so it should be fairly easy to make a patch. TCP/IP networking should work however I haven't tested it. The only thing that I had to comment out that would make much of a difference was in open_pseudo_terminal_slave due to *
I_PUSH
*not being defined.
The only thing I might need help with is the makefile. I was using the latest source snapshot from here http://www.iro.umontreal.ca/~gambit/download/gambit/v4.6/source/gambc-v4_6_0... I can check it out from git and create a patch that way if you prefer. Let me know.
-Sean Chapel