5
haskellPackages.sbv: fix build on aarch64 by arcz · Pull Request #150855 · NixOS...
source link: https://github.com/NixOS/nixpkgs/pull/150855
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Motivation for this change
Currently cvc4
doesn't build on aarch64 but it's optional for sbv
so we can disable it.
Things done
- Built on platform(s)
- x86_64-linux
- aarch64-linux
- x86_64-darwin
- aarch64-darwin
-
For non-Linux: Is
sandbox = true
set innix.conf
? (See Nix manual) -
Tested, as applicable:
- NixOS test(s) (look inside nixos/tests)
- and/or package tests
- or, for functions and "core" functionality, tests in lib/tests or pkgs/test
- made sure NixOS tests are linked to the relevant packages
-
Tested compilation of all packages that depend on this change using
nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD"
. Note: all changes have to be committed, also see nixpkgs-review usage -
Tested basic functionality of all binary files (usually in
./result/bin/
) - 22.05 Release Notes (or backporting 21.11 Release notes)
- (Package updates) Added a release notes entry if the change is major or breaking
- (Module updates) Added a release notes entry if the change is significant
- (Module addition) Added a release notes entry if adding a new NixOS module
- (Release notes changes) Ran
nixos/doc/manual/md-to-db.sh
to update generated release notes
- Fits CONTRIBUTING.md.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK