Skip to content
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

Enable parallel build and test #57

Closed
wants to merge 3 commits into from

Conversation

leewei05
Copy link
Contributor

@leewei05 leewei05 commented Dec 3, 2023

  • Utilize multiple processors to speedup build.
  • Enable parallel testing. In order to avoid data race in code generation test, we change the output filename.
  • Fix recursive make warning with make variable [1][2]. Also, we don't want to pass -j flags down to sub-make [3] because turnt has builtin parallel flags.
warning: jobserver unavailable: using -j1. Add `+' to parent make rule.

It isn't that obvious with Github Actions, but the speed improves significantly in local build and testing. 😄

[1] https://www.gnu.org/software/make/manual/html_node/MAKE-Variable.html
[2] https://www.gnu.org/software/make/manual/html_node/Error-Messages.html
[3] https://www.gnu.org/software/make/manual/html_node/Options_002fRecursion.html

@leewei05 leewei05 changed the title Enable parallel build Enable parallel build and test Dec 3, 2023
@leewei05 leewei05 force-pushed the enable-parallel-build branch from 403e830 to f17a922 Compare December 3, 2023 07:17
@leewei05 leewei05 self-assigned this Dec 3, 2023
@leewei05 leewei05 closed this Dec 3, 2023
@leewei05 leewei05 reopened this Dec 3, 2023
@leewei05 leewei05 requested a review from Lai-YT December 3, 2023 07:52
@leewei05 leewei05 force-pushed the enable-parallel-build branch 2 times, most recently from 82886b5 to 7faebdd Compare December 4, 2023 05:32
@leewei05 leewei05 force-pushed the enable-parallel-build branch from 7faebdd to b6b6170 Compare December 4, 2023 05:36
@leewei05
Copy link
Contributor Author

leewei05 commented Dec 4, 2023

Leave the parallel build option to users.

@leewei05 leewei05 closed this Dec 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant