bit_length is 1 more than needed: subtract 1 from XLEN first

[soc.git] / nix / openpower-isa.nix

diff --git a/nix/openpower-isa.nix b/nix/openpower-isa.nix
index 76c4987be77af454cf3ba85deaff34890352b24b..5aee8b1e4d6752cfa21582787bbe915dc326aec6 100644 (file)
--- a/nix/openpower-isa.nix
+++ b/nix/openpower-isa.nix
@@ -1,4 +1,4 @@
-{ lib, buildPythonPackage, fetchgit, libresoc-nmutil, astor, nmigen, ply, pygdbmi }:
+{ lib, python, buildPythonPackage, fetchgit, libresoc-nmutil, astor, nmigen, ply, pygdbmi }:
 
 buildPythonPackage {
   pname = "libresoc-openpower-isa";
@@ -14,6 +14,16 @@ buildPythonPackage {
 
   doCheck = false;
 
+  prePatch = ''
+    touch ./src/openpower/sv/__init__.py # TODO: fix upstream
+  '';
+
+  postInstall = ''
+    cp -rT ./openpower $out/${python.sitePackages}/../openpower/
+  '';
+
+  pythonImportsCheck = [ "openpower.decoder.power_decoder2" "openpower" ];
+
   meta = with lib; {
     homepage = "https://pypi.org/project/libresoc-openpower-isa/";
     license = licenses.lgpl3Plus;