Issue1086

Title build script: build different builds in the given order
Priority feature Status resolved
Superseder Nosy List jendrik, malte
Assigned To malte Keywords
Optional summary

Created on 2023-03-16.18:37:23 by malte, last changed by malte.

Messages
msg11234 (view) Author: malte Date: 2023-07-28.12:14:17
Merged.
msg11054 (view) Author: malte Date: 2023-03-17.11:23:27
Oops! :-)
msg11049 (view) Author: jendrik Date: 2023-03-16.18:45:45
I like the change. It's controversial enough ;-)
msg11048 (view) Author: malte Date: 2023-03-16.18:37:23
When using multiple build configs in build.py, as in

# ./build.py debug release

they are not necessarily built in the given order. Our code collects them in a Python set, so the actual order is based on Python's (arbitrary) set iteration order.

I would like them to be built in the given order.


Because we currently use sets, if the same config is specified multiple times directly or indirectly (via the available aliases), it is currently built only once:

# ./build.py debug debug

is currently the same as

# ./build.py debug


I suggest getting rid of this because YAGNI and the old behaviour would lead to more complex code once we no longer use sets. I also think this behaviour somewhat contradicts the principle of least surprise. Note that when building twice the second build will of course be almost instantaneous, so the feature doesn't really save time.


I'll wait a little bit to see if people object to this change, but I hope it's controversial enough that I don't have to wait long.
History
Date User Action Args
2023-07-28 12:14:17maltesetstatus: chatting -> resolved
messages: + msg11234
2023-03-17 11:23:27maltesetmessages: + msg11054
2023-03-16 18:45:45jendriksetmessages: + msg11049
2023-03-16 18:37:23maltecreate