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
llvm_11: patch to recognize Genode platform triples #112278
Conversation
Staging usually rebuilds stdenv anyway so as long as it does not break things it can be safely merged. |
ELFOSABI_AROS = 15, // AROS | ||
ELFOSABI_FENIXOS = 16, // FenixOS | ||
ELFOSABI_CLOUDABI = 17, // Nuxi CloudABI | ||
+ ELFOSABI_GENODE = 18, // Genode |
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.
Hm, this is a magic constant; what's its status? Is upstream considering adding it in 12 or 13 releases? Is it just a guess?
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.
Good catch. This is what I should submit to upstream, but I've changed patch to set a temporary constant of 63.
Shit, I pushed my |
Well I can't reopen this PR now because the changes are already on staging, even if they sit ahead of a revert commit. |
Thanks for the honesty and swift response! Such things can unfortunately happen very easily. But given that it wasn't a force-push and you've already reverted it everything should be fine now :)
The commit in |
If you create you branches from upstream that does not work. Happened to me the last week but thankfully I have a wrapper around git push -f that replaces it with --force-with-lease. |
Why? I think you used something else (in this case the remote named |
git checkout -b X upstream/master points for me to this repository and pushes to upstream. |
See #112990 |
@SuperSandro2000 yeah, this is expected and that's exactly why it works! You're starting to drive me crazy thb... (excuse my directness but this is getting very annoying for me) Here is proof for you that this does work (feel free to try to reproduce it):
As you can clearly see Git attempted to push to Please show me a reproducible (and realistic) case where this doesn't work or I take it as an acknowledgement that it does work. |
I didn't know you can do that. I just always have two remotes and my git config is set up that I always push to the current branch to make first time pushes easier. |
Motivation for this change
Genode is a low-tier platform in Nixpkgs. This PR would make it possible to combine the standard Nixpkgs LLVM with a custom Clang and runtime libraries to build a Genode stdenv.
This is a low-priority patch and should only be merged if LLVM is going to be rebuilt anyway.
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
(some pkgs tested, not all)./result/bin/
)nix path-info -S
before and after)