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 godot_headers in favour of a dev output on godot #37992
Conversation
(thanks to @tilpner for pointing this out) |
This should probably go into 18.03 as well since we just applied the change introducing |
Did this make it into 18.03 in the end? |
No, this PR hasn't been merged yet. godot_headers still exist on master and nixos-18.03 |
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.
Looks good to me! Can you resolve the merge conflicts?
Rebased! |
@GrahamcOfBorg build godot |
No attempt on aarch64-linux (full log) The following builds were skipped because they don't evaluate on aarch64-linux: godot Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: godot Partial log (click to expand)
|
Motivation for this change
It turns out that
godot_headers
is not guaranteed to be in sync withgodot
. Rather than suffer two packages that must be in sync, let's copy the actual generated headers from thegodot
build out into adev
output, as is conventional.Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)