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