tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib
2, buildPythonPackage
3, cachetools
4, decorator
5, fetchFromGitHub
6, future
7, nose
8, pysmt
9, pythonOlder
10, pytestCheckHook
11, six
12, z3
13}:
14
15buildPythonPackage rec {
16 pname = "claripy";
17 version = "9.2.4";
18 format = "pyproject";
19
20 disabled = pythonOlder "3.6";
21
22 src = fetchFromGitHub {
23 owner = "angr";
24 repo = pname;
25 rev = "v${version}";
26 hash = "sha256-nP2mqBmgpn7zFtMd9suH3kfEqKtzIjaZl6ALsvihVgE=";
27 };
28
29 propagatedBuildInputs = [
30 cachetools
31 decorator
32 future
33 pysmt
34 z3
35 ];
36
37 checkInputs = [
38 nose
39 pytestCheckHook
40 six
41 ];
42
43 postPatch = ''
44 # Use upstream z3 implementation
45 substituteInPlace setup.cfg \
46 --replace "z3-solver >= 4.8.5.0" ""
47 '';
48
49 pythonImportsCheck = [
50 "claripy"
51 ];
52
53 meta = with lib; {
54 description = "Python abstraction layer for constraint solvers";
55 homepage = "https://github.com/angr/claripy";
56 license = with licenses; [ bsd2 ];
57 maintainers = with maintainers; [ fab ];
58 };
59}