tjh.dev
1{
2 lib,
3 buildPythonPackage,
4 fetchFromGitHub,
5 pythonOlder,
6 pyvex,
7 setuptools,
8}:
9
10buildPythonPackage rec {
11 pname = "ailment";
12 version = "9.2.112";
13 pyproject = true;
14
15 disabled = pythonOlder "3.11";
16
17 src = fetchFromGitHub {
18 owner = "angr";
19 repo = "ailment";
20 rev = "refs/tags/v${version}";
21 hash = "sha256-R1Tvo4xqxKB2yQypiOtmuCzujE1DhHo2kPQUL7RuWGk=";
22 };
23
24 build-system = [ setuptools ];
25
26 dependencies = [ pyvex ];
27
28 # Tests depend on angr (possibly a circular dependency)
29 doCheck = false;
30
31 pythonImportsCheck = [ "ailment" ];
32
33 meta = with lib; {
34 description = "Angr Intermediate Language";
35 homepage = "https://github.com/angr/ailment";
36 license = with licenses; [ bsd2 ];
37 maintainers = with maintainers; [ fab ];
38 };
39}