You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
59 lines
1.0 KiB
59 lines
1.0 KiB
{ lib
|
|
, angr
|
|
, buildPythonPackage
|
|
, cmd2
|
|
, coreutils
|
|
, fetchFromGitHub
|
|
, pygments
|
|
, pytestCheckHook
|
|
, pythonOlder
|
|
}:
|
|
|
|
buildPythonPackage rec {
|
|
pname = "angrcli";
|
|
version = "1.2.0";
|
|
format = "setuptools";
|
|
|
|
disabled = pythonOlder "3.6";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "fmagin";
|
|
repo = "angr-cli";
|
|
rev = "v${version}";
|
|
hash = "sha256-a5ajUBQwt3xUNkeSOeGOAFf47wd4UVk+LcuAHGqbq4s=";
|
|
};
|
|
|
|
propagatedBuildInputs = [
|
|
angr
|
|
cmd2
|
|
pygments
|
|
];
|
|
|
|
checkInputs = [
|
|
coreutils
|
|
pytestCheckHook
|
|
];
|
|
|
|
postPatch = ''
|
|
substituteInPlace tests/test_derefs.py \
|
|
--replace "/bin/ls" "${coreutils}/bin/ls"
|
|
'';
|
|
|
|
disabledTests = [
|
|
"test_sims"
|
|
"test_proper_termination"
|
|
"test_branching"
|
|
"test_morph"
|
|
];
|
|
|
|
pythonImportsCheck = [
|
|
"angrcli"
|
|
];
|
|
|
|
meta = with lib; {
|
|
description = "Python modules to allow easier interactive use of angr";
|
|
homepage = "https://github.com/fmagin/angr-cli";
|
|
license = with licenses; [ mit ];
|
|
maintainers = with maintainers; [ fab ];
|
|
};
|
|
}
|
|
|