Commit 71096455 authored by Guillaume Girol's avatar Guillaume Girol
Browse files

bitwuzla: fix on aarch64-linux

parent 4c932f96

pkgs/applications/science/logic/bitwuzla/default.nix

+10 −0
Original line number Diff line number Diff line 
{ 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 ];