diff options
| author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
|---|---|---|
| committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
| commit | 71096455f0632ef6c6f60b3e1a51b77afe8b813c (patch) | |
| tree | b9b323732c896e3c381d14c560d444278c204865 /pkgs/applications/science/logic | |
| parent | 4c932f96886bcf2d0a866af4d421339b01e8af42 (diff) | |
bitwuzla: fix on aarch64-linux
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/bitwuzla/default.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index 3246e534d8c11..c46ecb290520f 100644 --- a/pkgs/applications/science/logic/bitwuzla/default.nix +++ b/pkgs/applications/science/logic/bitwuzla/default.nix @@ -1,5 +1,6 @@ { stdenv , fetchFromGitHub +, fetchpatch , lib , python3 , meson @@ -26,6 +27,15 @@ stdenv.mkDerivation (finalAttrs: { hash = "sha256-ZEdV4ml1LwrYwscgOcL2gLx/ijPYqRktXMQH/Njh8OI="; }; + patches = [ + # fix parser on aarch64 + # remove on next release + (fetchpatch { + url = "https://github.com/bitwuzla/bitwuzla/commit/4d914aa5ec34076c37749f0cf6dce976ea510386.patch"; + hash = "sha256-gp+HEamOySjPXCC39tt5DIMdQqEew26a+M15sNdCmTM="; + }) + ]; + strictDeps = true; nativeBuildInputs = [ meson pkg-config git ninja ]; |