Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / nix / openpower-isa.nix
1 { lib, python, buildPythonPackage, fetchgit, libresoc-nmutil, astor, nmigen, ply, pygdbmi }:
2
3 buildPythonPackage {
4 pname = "libresoc-openpower-isa";
5 version = "unstable-2021-09-04";
6
7 src = fetchgit {
8 url = "https://git.libre-soc.org/git/openpower-isa.git";
9 rev = "6e43a194f3d07ed5a8daa297187a32746c4c4d3c";
10 sha256 = "0EekUouTQruTXGO5jlPJtqh0DOudghILy0nca5eaZz8=";
11 };
12
13 propagatedBuildInputs = [ libresoc-nmutil astor nmigen ply pygdbmi ];
14
15 doCheck = false;
16
17 prePatch = ''
18 touch ./src/openpower/sv/__init__.py # TODO: fix upstream
19 '';
20
21 postInstall = ''
22 cp -rT ./openpower $out/${python.sitePackages}/../openpower/
23 '';
24
25 pythonImportsCheck = [ "openpower.decoder.power_decoder2" "openpower" ];
26
27 meta = with lib; {
28 homepage = "https://pypi.org/project/libresoc-openpower-isa/";
29 license = licenses.lgpl3Plus;
30 };
31 }