pyrox.dev
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
15buildPythonPackage rec {
16 pname = "claripy";
17 version = "9.2.154";
18 pyproject = true;
19
20 disabled = pythonOlder "3.11";
21
22 src = fetchFromGitHub {
23 owner = "angr";
24 repo = "claripy";
25 tag = "v${version}";
26 hash = "sha256-90JX+VDWK/yKhuX6D8hbLxjIOS8vGKrN1PKR8iWjt2o=";
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 ]
43 ++ z3-solver.requiredPythonModules;
44
45 nativeCheckInputs = [ pytestCheckHook ];
46
47 pythonImportsCheck = [ "claripy" ];
48
49 meta = with lib; {
50 description = "Python abstraction layer for constraint solvers";
51 homepage = "https://github.com/angr/claripy";
52 license = licenses.bsd2;
53 maintainers = with maintainers; [ fab ];
54 };
55}