Bindings generation

[dmjio]

@TerrorJack 👋

Was curious, were these bindings manually written or generated? And if generated, what tool did you use?

https://github.com/TerrorJack/direct-rocksdb/blob/master/src/Database/RocksDB/Internals.hs

[TerrorJack]

@dmjio Hi, they were mostly generated from a Python script I wrote last year. I manually run gcc -E on the header first, strip some useless parts from the gigantic output (usually related to standard library), then use pycparser in my script to process that header and generate the foreign import declarations.

[chessai]

@TerrorJack do you happen to have that python script anywhere?