diff options
author | Morgan Jones <me@numin.it> | 2024-04-09 19:34:02 -0700 |
---|---|---|
committer | Morgan Jones <me@numin.it> | 2024-04-09 19:41:50 -0700 |
commit | 80d57056bcee596bcd66b7d5d9f4b51bb99a1c9f (patch) | |
tree | 2273786b1fc29487e014a4dfed911cf0203a46a4 /pkgs/applications/science/logic/klee/default.nix | |
parent | 39abaaa2e83774b034a1737a376e432755b933c4 (diff) |
klee: 3.0 -> 3.1
Diffstat (limited to 'pkgs/applications/science/logic/klee/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/klee/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/klee/default.nix b/pkgs/applications/science/logic/klee/default.nix index 68f68355f8160..4f17558b340e4 100644 --- a/pkgs/applications/science/logic/klee/default.nix +++ b/pkgs/applications/science/logic/klee/default.nix @@ -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 = { |