Gigatron Hackers

Hello:

In github repository kervinck/gigatron-rom, in gigatron-rom/Contrib/kervinck/gcl/ try to compile
main.c together gcl.c but is missing the header file bindings.h needed for gcl.c, where is this file?
Would like to have a small gcl.exe instead a python utility.

thanks

I've updated the main repo, I have no idea why bindings.h was missing; I guess it was lost when Marcel did a re-shuffle. I've restored the latest version I could find into "Contrib/kervinck/gcl/bindings.h".