parent
1c7c55a94d
commit
dade516d24
@ -0,0 +1,52 @@ |
||||
{ lib |
||||
, buildPythonPackage |
||||
, cachetools |
||||
, decorator |
||||
, fetchFromGitHub |
||||
, future |
||||
, nose |
||||
, pysmt |
||||
, pythonOlder |
||||
, pytestCheckHook |
||||
, z3 |
||||
}: |
||||
|
||||
buildPythonPackage rec { |
||||
pname = "claripy"; |
||||
version = "9.0.5739"; |
||||
disabled = pythonOlder "3.6"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "angr"; |
||||
repo = pname; |
||||
rev = "v${version}"; |
||||
sha256 = "1aym01f99zwb9w8qwy8gz631ka7g6akzdld0m4ykc5ip0rq70mki"; |
||||
}; |
||||
|
||||
# Use upstream z3 implementation |
||||
postPatch = '' |
||||
substituteInPlace setup.py --replace "z3-solver>=4.8.5.0" "" |
||||
''; |
||||
|
||||
propagatedBuildInputs = [ |
||||
cachetools |
||||
decorator |
||||
future |
||||
pysmt |
||||
z3 |
||||
]; |
||||
|
||||
checkInputs = [ |
||||
nose |
||||
pytestCheckHook |
||||
]; |
||||
|
||||
pythonImportsCheck = [ "claripy" ]; |
||||
|
||||
meta = with lib; { |
||||
description = "Python abstraction layer for constraint solvers"; |
||||
homepage = "https://github.com/angr/claripy"; |
||||
license = with licenses; [ bsd2 ]; |
||||
maintainers = with maintainers; [ fab ]; |
||||
}; |
||||
} |
Loading…
Reference in new issue