-
Notifications
You must be signed in to change notification settings - Fork 39
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
zig build system #719
zig build system #719
Conversation
a7043c0
to
7f75659
Compare
3877b73
to
bb8bdd8
Compare
Some context here for future travellers: This PR is a complete rewrite of the build system for vere, switching from Bazel to the Zig build system. We get the following benefits from doing this:
When trawling through the build some interesting discoveries were made. One of them was that GMP was built without assembly on macos-aarch64: vere/bazel/third_party/gmp/gmp.BUILD Line 23 in ec54a66
There are also other miscellaneous quality of life improvements such as not "compiling" the ivory pill with xxd but just checking in the C file which saves around 70 seconds on my mac m2. The new build process is installing zig 0.13 and typing |
Looks like I made some kind of rebase snafu on #720. Today I learned that if you force push something to a PR that results in 0 commits to the base branch github will just close the PR and disallow any further pushes to the branch! Ok let's try this one then.
No description provided.