talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

- Fixed build fial

Browse Source
This commit is contained in:
Marcel 2025-05-04 17:27:28 +01:00 committed by GitHub
parent aa482e24d2
commit fbede79b9a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/by-name/bi/bitwuzla/package.nix
View File

@ -37,8 +37,8 @@ stdenv.mkDerivation (finalAttrs: {
git git
ninja ninja
cmake cmake
kissat
]; ];
buildInputs = [ buildInputs = [
cadical cadical
cryptominisat cryptominisat
@ -46,7 +46,7 @@ stdenv.mkDerivation (finalAttrs: {
symfpu symfpu
gmp gmp
zlib zlib
kissat.lib kissat
]; ];
mesonFlags = [ mesonFlags = [