-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
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
virtualbox: restore ability to build with Open Watcom (off by default) #352914
Conversation
This reverts commit 67aa62d.
... to avoid depending on open-watcom-bin which has a habit of breaking.
49c09d3
to
8604b68
Compare
8604b68
to
78ebb34
Compare
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.
Sure, why not. I’m curious, do you actually patch these BIOS files?
Result of 1 package marked as broken and skipped:
25 packages built:
|
We had to do this in the past, yes. It's also interesting for people who want to build everything from source, because the "alternative BIOS sources" are pre-compiled C code which feels a bit like shipping binaries. :) |
Well… yeah, but the compiler we’re using to build them is itself sourced from binaries, hence the package name, so I don’t think it’s really any better from a bootstrapping perspective :) Still, fine to have this if it’s useful. |
Revert #352610 and replace it with a simpler mechanism that doesn't remove the ability to build the BIOS sources with Open Watcom. Being able to build the BIOS sources is important, because otherwise there is no sane of patching them. But I agree that we don't need to pull in Open Watcom for the default build.
While I was here I also fixed the
virtualboxKvm
build for 7.0.22.Things done
nix.conf
? (See Nix manual)sandbox = relaxed
sandbox = true
nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD"
. Note: all changes have to be committed, also see nixpkgs-review usage./result/bin/
)Add a 👍 reaction to pull requests you find important.