| commit | 83d2233a5c47cf1feadcdece5bd4a6b498c6ee7a | [log] [tgz] |
|---|---|---|
| author | Cosimo Lupo <[email protected]> | Mon Jul 09 18:48:20 2018 +0100 |
| committer | Cosimo Lupo <[email protected]> | Mon Jul 09 18:48:20 2018 +0100 |
| tree | 7d4e54aa618c524b7d2ded738a3f956515128e00 | |
| parent | ccdd15655480fe35226c0b757e28d3527fe2e6af [diff] |
CMakeLists.txt: pass headers as arguments to gen-def.py; call using PYTHON_EXECUTABLE