Sorry, looks like I disremembered. What was the main problem?
The problem is "build from sources in theide". Something has to create that header. Should it be the build process or what?
If the build process, another problem is that the thing should be universal, working for your projects too. But in that case you have more than single repo and more than single version. Etc...