0001644: plugin wscripts can't set options

Relationship Graph

Viewing Issue Simple Details
ID	Category	Severity	Reproducibility	Date Submitted	Last Update
0001644	buildsystem	minor	have not tried	07-06-23 03:41	08-12-30 01:19

Reporter	puzzles	View Status	public
Assigned To
Priority	high	Resolution	open
Status	confirmed

Summary	0001644: plugin wscripts can't set options
Description	set_option function is useless in wscripts
Additional Information	Tried options.diff when working on 0001643, but ran up against these problems: - need to make the master wscript read every plugin wscript, no big deal - waf expects every wscript to have a set_options function - putting one in every plugin wscript is tedious and there has to be a better way - modifying wafadmin/Options.py to not give a fatal error if it's missing is ok - this is really a big oversight in waf and should not be necessary - I resorted to changing Options.py, plugins still don't have their options set - NFC why My python and waf-fu are not that strong; maybe there is a nice (or not-so-nice?) pythonic way to make a default set_options in waftools/plugin.py?