bitwuzla: move override into package.nix

[qweered]

This is a step towards #454525, which will help enable checking for additional by-name directories (e.g. Python) in nixpkgs-vet.

Things done

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

[gepbird]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 485692
Commit: 4c848c75668a02edef8950a42c3d0877fbe47da7 (subsequent changes)
Merge: 94eb7456c50c6701e8db1d63dae716e5fdbcff33

Logs: https://github.com/gepbird/nixpkgs-review-gha/actions/runs/21573778487

Download packages from cache:

• x86_64-linux

  nix-store -r --add-root nixpkgs-pr-485692-x86_64-linux \
    --option binary-caches 'https://cache.nixos.org/ https://gepbird-nixpkgs-review-gha.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    gepbird-nixpkgs-review-gha.cachix.org-1:DXx7aJqJyRfrgSacf/SSVzEaPbrH3lych7ti/zUBol4=
    ' \
    /nix/store/cbsb7b142z2qk6r7ynnmrjfngn3qhalq-bitwuzla-0.8.2

• aarch64-linux

  nix-store -r --add-root nixpkgs-pr-485692-aarch64-linux \
    --option binary-caches 'https://cache.nixos.org/ https://gepbird-nixpkgs-review-gha.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    gepbird-nixpkgs-review-gha.cachix.org-1:DXx7aJqJyRfrgSacf/SSVzEaPbrH3lych7ti/zUBol4=
    ' \
    /nix/store/gk1s63pik0scikkd2n68f3dqssndh5sn-bitwuzla-0.8.2

• x86_64-darwin

  nix-store -r --add-root nixpkgs-pr-485692-x86_64-darwin \
    --option binary-caches 'https://cache.nixos.org/ https://gepbird-nixpkgs-review-gha.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    gepbird-nixpkgs-review-gha.cachix.org-1:DXx7aJqJyRfrgSacf/SSVzEaPbrH3lych7ti/zUBol4=
    ' \
    /nix/store/516w0wa4xfckbsc1fnv88yg1j3iwzz6y-bitwuzla-0.8.2

• aarch64-darwin

  nix-store -r --add-root nixpkgs-pr-485692-aarch64-darwin \
    --option binary-caches 'https://cache.nixos.org/ https://gepbird-nixpkgs-review-gha.cachix.org' \
    --option trusted-public-keys '
    cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
    gepbird-nixpkgs-review-gha.cachix.org-1:DXx7aJqJyRfrgSacf/SSVzEaPbrH3lych7ti/zUBol4=
    ' \
    /nix/store/l8pb2cqr5bwh80q99m9jpc58ygh4xrw8-bitwuzla-0.8.2

---

x86_64-linux

✅ 1 package built:

• bitwuzla

---

aarch64-linux

✅ 1 package built:

• bitwuzla

---

x86_64-darwin (sandbox = relaxed)

✅ 1 package built:

• bitwuzla

---

aarch64-darwin (sandbox = relaxed)

✅ 1 package built:

• bitwuzla

[MattSturgeon]

Nice trick. I usually avoid such ? defaults on callPackage args, however I think we can be confident a ' (prime) suffixed name won't get supplied from the auto-args pkgs.