Re: generated sources and make

2018-07-09 Thread Maurizio Cimadamore
On 09/07/18 16:43, Erik Joelsson wrote: Hello, I would not like to change the behavior of the existing macro since that will have complications for many parts of the build. We could perhaps extend it into a special version for the intellij generator script. It would be possible to figure o

Re: generated sources and make

2018-07-09 Thread Erik Joelsson
Hello, I would not like to change the behavior of the existing macro since that will have complications for many parts of the build. We could perhaps extend it into a special version for the intellij generator script. It would be possible to figure out which modules have gensrc dirs by lookin

generated sources and make

2018-07-09 Thread Maurizio Cimadamore
Hi, I was playing with the script for IntelliJ project generation, and I noted that make does not report generated source roots (e.g. those under support/gensrc) _unless_ such folders exist in the file system. This is a bit of a let down - normally one would create the IJ project on an empty