b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #238964 from McSinyx/klee-3

Browse source
This commit is contained in:
Janik 2023-06-27 09:38:09 +02:00 committed by GitHub
parent 83ee67cdf4 558af1d8a5
commit 77e5ce731b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
pkgs/applications/science/logic/klee/default.nix
View file

@ -45,30 +45,24 @@ let
}; };
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
pname = "klee"; pname = "klee";
version = "2.3"; version = "3.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "klee"; owner = "klee";
repo = "klee"; repo = "klee";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-E1c6K6Q+LAWm342W8I00JI6+LMvqmULHZLkv9Kj5RmY="; hash = "sha256-y5lWmtIcLAthQ0oHYQNd+ir75YaxHZR9Jgiz+ZUFQjY=";
}; };
nativeBuildInputs = [ cmake ];
buildInputs = [ buildInputs = [
cryptominisat cryptominisat
gperftools gperftools
lit # Configure phase checking for lit
llvm llvm
sqlite sqlite
stp stp
z3 z3
]; ];
nativeBuildInputs = [
clang
cmake
];
nativeCheckInputs = [ nativeCheckInputs = [
gtest gtest
@ -83,8 +77,9 @@ in stdenv.mkDerivation rec {
in [ in [
"-DCMAKE_BUILD_TYPE=${if debug then "Debug" else if !debug && includeDebugInfo then "RelWithDebInfo" else "MinSizeRel"}" "-DCMAKE_BUILD_TYPE=${if debug then "Debug" else if !debug && includeDebugInfo then "RelWithDebInfo" else "MinSizeRel"}"
"-DKLEE_RUNTIME_BUILD_TYPE=${if debugRuntime then "Debug" else "Release"}" "-DKLEE_RUNTIME_BUILD_TYPE=${if debugRuntime then "Debug" else "Release"}"
"-DLLVMCC=${clang}/bin/clang"
"-DLLVMCXX=${clang}/bin/clang++"
"-DKLEE_ENABLE_TIMESTAMP=${onOff false}" "-DKLEE_ENABLE_TIMESTAMP=${onOff false}"
"-DENABLE_KLEE_UCLIBC=${onOff true}"
"-DKLEE_UCLIBC_PATH=${kleeuClibc}" "-DKLEE_UCLIBC_PATH=${kleeuClibc}"
"-DENABLE_KLEE_ASSERTS=${onOff asserts}" "-DENABLE_KLEE_ASSERTS=${onOff asserts}"
"-DENABLE_POSIX_RUNTIME=${onOff true}" "-DENABLE_POSIX_RUNTIME=${onOff true}"