Allow the formal engine to perform a same-cycle result in the ALU

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

diff --git a/nix/openpower-isa.nix b/nix/openpower-isa.nix
index 67cd8778dd8dc1485d802a10ae2cdfaff12518e6..5aee8b1e4d6752cfa21582787bbe915dc326aec6 100644 (file)
--- a/nix/openpower-isa.nix
+++ b/nix/openpower-isa.nix
@@ -1,4 +1,4 @@
-{ lib, buildPythonPackage, fetchgit }:
+{ lib, python, buildPythonPackage, fetchgit, libresoc-nmutil, astor, nmigen, ply, pygdbmi }:
 
 buildPythonPackage {
   pname = "libresoc-openpower-isa";
@@ -10,8 +10,20 @@ buildPythonPackage {
     sha256 = "0EekUouTQruTXGO5jlPJtqh0DOudghILy0nca5eaZz8=";
   };
 
+  propagatedBuildInputs = [ libresoc-nmutil astor nmigen ply pygdbmi ];
+
   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;