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

klee: 3.0 -> 3.1

Browse Source
This commit is contained in:
Morgan Jones 2024-04-09 19:34:02 -07:00
parent 39abaaa2e8
commit 80d57056bc
No known key found for this signature in database
GPG Key ID: 52BAC54ED447974E
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

@ -32435,7 +32435,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;