From 71096455f0632ef6c6f60b3e1a51b77afe8b813c Mon Sep 17 00:00:00 2001 From: Guillaume Girol Date: Wed, 3 Apr 2024 12:00:00 +0000 Subject: [PATCH] bitwuzla: fix on aarch64-linux --- pkgs/applications/science/logic/bitwuzla/default.nix | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index 3246e534d8c1..c46ecb290520 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 ];