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 ] ++ 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 = licenses.bsd2;
52 maintainers = with maintainers; [ fab ];
53 };
54}