Issue 1016: Load and use build_config.py as module in build.py - Fast Downward issue tracker

Title	Load and use build_config.py as module in build.py
Priority	wish	Status	resolved
Superseder		Nosy List	jendrik, malte, patfer, silvan
Assigned To	patfer	Keywords
Optional summary

Created on 2021-03-18.14:16:06 by patfer, last changed by malte.

Messages
msg10631 (view)	Author: malte	Date: 2022-03-07.11:13:25
I think this has been merged. If I'm overlooking something, feel free to reopen.
msg10205 (view)	Author: jendrik	Date: 2021-03-18.17:19:52
Looks good to merge.
msg10204 (view)	Author: malte	Date: 2021-03-18.16:53:07
Not sure how many we can manage -- the pull request works for me. :-) If someone else is happy to approve it, I think it can be merged.
msg10203 (view)	Author: patfer	Date: 2021-03-18.16:44:15
PR: https://github.com/aibasel/downward/pull/34 I wonder how many iterations can we make for those few lines of code :)
msg10185 (view)	Author: patfer	Date: 2021-03-18.14:16:06
Instead of executing all files named *build_config.py, just load build_config.py as module. Thus, custom builds have to be defined in the file 'build_config.py'

History
Date	User	Action	Args
2022-03-07 11:13:25	malte	set	status: chatting -> resolved messages: + msg10631
2021-03-18 17:19:52	jendrik	set	messages: + msg10205
2021-03-18 16:53:07	malte	set	messages: + msg10204
2021-03-18 16:44:15	patfer	set	messages: + msg10203
2021-03-18 14:16:06	patfer	create