From e70bc9367ee06c609323e73e7fe537f4e7a5f586 Mon Sep 17 00:00:00 2001 From: Julian Stecklina Date: Fri, 1 Nov 2024 17:22:49 +0100 Subject: [PATCH] virtualbox: build BIOS from alternate sources ... to avoid depending on open-watcom-bin which has a habit of breaking. --- pkgs/top-level/all-packages.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 25785bf43510..70de0cb7fe68 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -33072,6 +33072,11 @@ with pkgs; # VirtualBox uses wsimport, which was removed after JDK 8. jdk = jdk8; + + # Opt out of building the guest BIOS sources with the problematic Open Watcom + # toolchain. People who need to build the BIOS from sources (for example to + # apply patches) can override this. + open-watcom-bin = null; }; virtualboxKvm = lowPrio (virtualbox.override {