New build.py script, replaces build-everything.py and Makefile

This commit is contained in:
2025-06-11 18:46:10 -04:00
parent 4a2574ddab
commit 5a81b2d8ae
5 changed files with 365 additions and 273 deletions