nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-09 01:26:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

bitwuzla: 0.4.0 -> 0.5.0

Browse Source
This commit is contained in:
Guillaume Girol 2024-06-02 12:00:00 +00:00
parent ad57eef4ef
commit f014663fe4
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/applications/science/logic/bitwuzla/default.nix
View File

@ -1,6 +1,5 @@
{ stdenv { stdenv
, fetchFromGitHub , fetchFromGitHub
, fetchpatch
, lib , lib
, python3 , python3
, meson , meson
@ -18,24 +17,15 @@
stdenv.mkDerivation (finalAttrs: { stdenv.mkDerivation (finalAttrs: {
pname = "bitwuzla"; pname = "bitwuzla";
version = "0.4.0"; version = "0.5.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "bitwuzla"; owner = "bitwuzla";
repo = "bitwuzla"; repo = "bitwuzla";
rev = finalAttrs.version; rev = finalAttrs.version;
hash = "sha256-ZEdV4ml1LwrYwscgOcL2gLx/ijPYqRktXMQH/Njh8OI="; hash = "sha256-/izxmN+zlrXsY6g6TRC1QqsLqltvrmZquXRd6h8RLRc=";
}; };
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; strictDeps = true;
nativeBuildInputs = [ meson pkg-config git ninja ]; nativeBuildInputs = [ meson pkg-config git ninja ];