-
-
Notifications
You must be signed in to change notification settings - Fork 185
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove local gawk and make builds, add xx30 top and bottom hashes under hashes.txt #1178
Remove local gawk and make builds, add xx30 top and bottom hashes under hashes.txt #1178
Conversation
b3f163d
to
1087912
Compare
Some historical analysis:
There seems to be no reason to keep those from now on. Until we move to another building system or integrate Nixos toolstack layer for poked binaries reproducibility, having gawk and make being locally built right now is not bringing any value and causes issues (hashes containing gawk per $@ call instead of roms hashes since gawk being locally built being the unseen regression for a while now). |
27c20eb
to
27aa407
Compare
Coreboot 4.11 based boards are causing a lot of race conditions under CircleCI since a long while. |
27aa407
to
cab2089
Compare
Based on top of #1182 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this should really be 2 separate commits, unless there's a dependency I'm not seeing
@MrChromebox unless you mean removing gawk and make modules and Makefile references in one commit And another commit adding proper statements to get back rom hashes under hashes.txt into a separate commit? And then another commit to remove CircleCI bootstrap step? (The goal of this commit is to bring back ROM hashes, which those 3 actions depend to test this commit...) |
Forgot to remove make patch. @MrChromebox you want 4 separate commits? |
cab2089
to
13a38cb
Compare
-Makefile: remove local gawk and make version compare and local build -modules: remove gawk and make -patches: remove make local make was added to build 4.2.1 on OSes that were having older version. It was then patched to be built on OSes having newer buildstack. local gawk was added when GPG toolstack was older then libgpg-error 1.37. GPG toolstack was then upgraded, but local gawk stayed. Removing those permits better parallelization and of builds and reduces CircleCI (and higher cores systems) to have race conditions and stalled builds
13a38cb
to
ba9235a
Compare
@MrChromebox seperated in two commits. |
perfect, thx. I'll test then approve |
@MrChromebox Can't wait for merge. Sick of CircleCI builds failing for race conditions linked to old make |
@MrChromebox : conclusion? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
tested successfully under Debian 11.3
.circleci/config.yml: remove bootstrapSince gawk was outputed into hashes.txt in a fashion I was not able to fix, this is the solution on top of debian-11 based distributions (in terms of gawk and make being > 4.2.1 which was problematic before).
Replaces #1128.
TODO: If works, remove heads-wiki need to build bootstrap prior of boards