pyrox.dev
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
15buildPythonPackage rec {
16 pname = "claripy";
17 version = "9.2.102";
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-U7aN6MOptGjW61HDfZDM7Vit5G+rm1LujgHoo6oRX3s=";
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}