Detect change in configuration file and re-configure in waf?

[Chris Johns]

On 25/10/19 7:47 pm, Sebastian Huber wrote:
> the new build system uses a set of *.ini files to configure the build. They are
> stored in the build lock file:
> 
> build/.lock-waf_linux2_build:options = {..., 'rtems_options': 'bsps.ini', ...}
> 
> I would like to issue a re-configuration if one of the *.ini files changes. It
> would be nice if someone knows a best-practise recipe for waf to do this.
> 

What about issuing an error saying the configuration has changed, a bit like waf
does if the version of waf has changed? Issuing an error lets the user see if
something changed they did not expect. If they want this they can then reconfigure.

I would think about adding a `reconfigure` target which basically gets the
configure command line and runs it again. It is in .lock* pickled data.

Chris