tjh.dev
1{ stdenv
2, lib
3, angr
4, buildPythonPackage
5, cmd2
6, coreutils
7, fetchFromGitHub
8, pygments
9, pytestCheckHook
10, pythonOlder
11}:
12
13buildPythonPackage rec {
14 pname = "angrcli";
15 version = "1.2.0";
16 format = "setuptools";
17
18 disabled = pythonOlder "3.6";
19
20 src = fetchFromGitHub {
21 owner = "fmagin";
22 repo = "angr-cli";
23 rev = "v${version}";
24 hash = "sha256-a5ajUBQwt3xUNkeSOeGOAFf47wd4UVk+LcuAHGqbq4s=";
25 };
26
27 propagatedBuildInputs = [
28 angr
29 cmd2
30 pygments
31 ];
32
33 nativeCheckInputs = [
34 coreutils
35 pytestCheckHook
36 ];
37
38 postPatch = ''
39 substituteInPlace tests/test_derefs.py \
40 --replace "/bin/ls" "${coreutils}/bin/ls"
41 '';
42
43 disabledTests = [
44 "test_sims"
45 "test_proper_termination"
46 "test_branching"
47 "test_morph"
48 ];
49
50 pythonImportsCheck = [
51 "angrcli"
52 ];
53
54 meta = with lib; {
55 broken = (stdenv.isLinux && stdenv.isAarch64);
56 description = "Python modules to allow easier interactive use of angr";
57 homepage = "https://github.com/fmagin/angr-cli";
58 license = with licenses; [ mit ];
59 maintainers = with maintainers; [ fab ];
60 };
61}