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   setuptools,
  11   typing-extensions,
  12   z3-solver,
  13 }:
  14
  15 buildPythonPackage rec {
  16   pname = "claripy";
  17   version = "9.2.130";
  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-WtT4jdL512ad/hUb8uMxAqihDH/YFxsnYumNFWWGkQM=";
  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     setuptools
  34   ];
  35
  36   dependencies = [
  37     cachetools
  38     decorator
  39     pysmt
  40     typing-extensions
  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 }