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

Chris Johns chrisj at
Sat Oct 26 20:59:02 UTC 2019

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.


More information about the devel mailing list