colin
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #302984 from numinit/klee-update 

klee: 3.0 -> 3.1
This commit is contained in:
Pascal Wittmann 2024-04-10 19:52:37 +02:00 committed by GitHub
parent 513f8e4cc4 80d57056bc
commit 2da1af77d4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/klee/default.nix
View File

@ -6,7 +6,6 @@
, clang
, llvm
, python3
, zlib
, z3
, stp
, cryptominisat
@ -45,13 +44,13 @@ let
};
in stdenv.mkDerivation rec {
pname = "klee";
version = "3.0";
version = "3.1";
src = fetchFromGitHub {
owner = "klee";
repo = "klee";
rev = "v${version}";
hash = "sha256-y5lWmtIcLAthQ0oHYQNd+ir75YaxHZR9Jgiz+ZUFQjY=";
hash = "sha256-5js1N8qVF0lCkahSU3ojT7+p/a9IaUpPWhIyFHEzqto=";
};
nativeBuildInputs = [ cmake ];
@ -98,6 +97,9 @@ in stdenv.mkDerivation rec {
patchShebangs .
'';
# https://github.com/klee/klee/issues/1690
hardeningDisable = [ "fortify" ];
doCheck = true;
passthru = {

4
pkgs/applications/science/logic/klee/klee-uclibc.nix
View File

@ -26,12 +26,12 @@ let
});
in stdenv.mkDerivation rec {
pname = "klee-uclibc";
version = "1.3";
version = "1.4";
src = fetchFromGitHub {
owner = "klee";
repo = "klee-uclibc";
rev = "klee_uclibc_v${version}";
sha256 = "sha256-xQ8GWa0Gmd3lbwKodJhrsZeuR4j7NT4zIUh+kNhVY/w=";
sha256 = "sha256-sogQK5Ed0k5tf4rrYwCKT4YRKyEovgT25p0BhGvJ1ok=";
};
nativeBuildInputs = [

2
pkgs/top-level/all-packages.nix
View File

@ -32433,7 +32433,7 @@ with pkgs;
klayout = libsForQt5.callPackage ../applications/misc/klayout { };
klee = callPackage ../applications/science/logic/klee (with llvmPackages_12; {
klee = callPackage ../applications/science/logic/klee (with llvmPackages_13; {
clang = clang;
llvm = llvm;
stdenv = stdenv;