pkgs/development/python-modules/claripy/default.nix

   1 {
   2   lib,
   3   buildPythonPackage,
   4   cachetools,
   5   decorator,
   6   fetchFromGitHub,
   7   pysmt,
   8   pytestCheckHook,
   9   pythonOlder,
  10   pythonRelaxDepsHook,
  11   setuptools,
  12   z3-solver,
  13 }:
  14
  15 buildPythonPackage rec {
  16   pname = "claripy";
  17   version = "9.2.100";
  18   pyproject = true;
  19
  20   disabled = pythonOlder "3.11";
  21
  22   src = fetchFromGitHub {
  23     owner = "angr";
  24     repo = "claripy";
  25     rev = "refs/tags/v${version}";
  26     hash = "sha256-jkPXYlV89BsW4lHvpR+1jiFP92QsPPG0BMe1SVoQOfw=";
  27   };
  28
  29   # z3 does not provide a dist-info, so python-runtime-deps-check will fail
  30   pythonRemoveDeps = [ "z3-solver" ];
  31
  32   build-system = [
  33     pythonRelaxDepsHook
  34     setuptools
  35   ];
  36
  37   dependencies = [
  38     cachetools
  39     decorator
  40     pysmt
  41     z3-solver
  42   ] ++ z3-solver.requiredPythonModules;
  43
  44   nativeCheckInputs = [ pytestCheckHook ];
  45
  46   pythonImportsCheck = [ "claripy" ];
  47
  48   meta = with lib; {
  49     description = "Python abstraction layer for constraint solvers";
  50     homepage = "https://github.com/angr/claripy";
  51     license = with licenses; [ bsd2 ];
  52     maintainers = with maintainers; [ fab ];
  53   };
  54 }