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