Fix openpower-isa

diff --git a/nix/openpower-isa.nix b/nix/openpower-isa.nix
index 76c4987be77af454cf3ba85deaff34890352b24b..7413bed1aaf610d1fead35d9dab7c305887537c4 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" ];
+
   meta = with lib; {
     homepage = "https://pypi.org/project/libresoc-openpower-isa/";
     license = licenses.lgpl3Plus;