Commit 83d2233a5c47cf1feadcdece5bd4a6b498c6ee7a

Cosimo Lupo 2018-07-09T18:48:20

CMakeLists.txt: pass headers as arguments to gen-def.py; call using PYTHON_EXECUTABLE