movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 19:55:41 +03:00
Code Issues Projects Releases Packages Wiki Activity

cbmc: 6.4.1 -> 6.6.0

Browse source
This commit is contained in:
Jiajie Chen 2025-05-24 12:58:36 +08:00
parent 6b5d11b53c
commit 1c26c86248
1 changed files with 2 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

10
pkgs/by-name/cb/cbmc/package.nix
View file

@ -17,13 +17,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "cbmc";
version = "6.4.1";
version = "6.6.0";
src = fetchFromGitHub {
owner = "diffblue";
repo = "cbmc";
tag = "cbmc-${finalAttrs.version}";
hash = "sha256-O8aZTW+Eylshl9bmm9GzbljWB0+cj2liZHs2uScERkM=";
hash = "sha256-ot0vVBgiSVru/RE7KeyTsXzDfs0CSa5vaFsON+PCZZo=";
};
srcglucose = fetchFromGitHub {
@ -51,12 +51,6 @@ stdenv.mkDerivation (finalAttrs: {
cudd = cudd.src;
})
./0002-Do-not-download-sources-in-cmake.patch
# Fixes build with libc++ >= 19 due to the removal of std::char_traits<unsigned>.
# Remove for versions > 6.4.1.
(fetchpatch {
url = "https://github.com/diffblue/cbmc/commit/684bf4221c8737952e6469304f5a360dc3d5439d.patch";
hash = "sha256-3hHu6FcyHjfeFjNxhyhxxk7I/SK98BXT+xy7NgtEt50=";
})
];
postPatch =