diff options
author | Fabian Affolter <mail@fabian-affolter.ch> | 2021-02-09 08:50:47 +0100 |
---|---|---|
committer | Fabian Affolter <mail@fabian-affolter.ch> | 2021-02-09 08:50:47 +0100 |
commit | dade516d240775102bfd7e79194f824cbc112060 (patch) | |
tree | 2a54be26466a014db169f9d1b0701f657aa56833 /pkgs/development/python-modules/claripy | |
parent | 1c7c55a94d506d559f44b2a7fc5e9631f931d810 (diff) | |
download | nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar.gz nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar.bz2 nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar.lz nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar.xz nixpkgs-dade516d240775102bfd7e79194f824cbc112060.tar.zst nixpkgs-dade516d240775102bfd7e79194f824cbc112060.zip |
python3Packages.claripy: init at 9.0.5739
Diffstat (limited to 'pkgs/development/python-modules/claripy')
-rw-r--r-- | pkgs/development/python-modules/claripy/default.nix | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/claripy/default.nix b/pkgs/development/python-modules/claripy/default.nix new file mode 100644 index 00000000000..1812ddff952 --- /dev/null +++ b/pkgs/development/python-modules/claripy/default.nix @@ -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 ]; + }; +} |