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