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

[soc.git] / nix / ieee754fpu.nix

diff --git a/nix/ieee754fpu.nix b/nix/ieee754fpu.nix
index 3ec8486d4844b6b90f11f061e2c83f5906d3915a..e520437daa4ee849f80aa3b835694a3a4de8c058 100644 (file)
--- a/nix/ieee754fpu.nix
+++ b/nix/ieee754fpu.nix
@@ -1,4 +1,4 @@
-{ lib, buildPythonPackage, bigfloat, fetchgit }:
+{ lib, buildPythonPackage, libresoc-nmutil, bigfloat, fetchgit }:
 
 buildPythonPackage {
   pname = "libresoc-ieee754fpu";
@@ -10,10 +10,16 @@ buildPythonPackage {
     sha256 = "wbr1vGFzUlUtBT6IcRsykADYeksiVoq/LacU/dbRQ0o=";
   };
 
-  propagatedBuildInputs = [ bigfloat ];
+  propagatedBuildInputs = [ libresoc-nmutil bigfloat ];
 
   doCheck = false;
 
+  prePatch = ''
+    touch ./src/ieee754/part/__init__.py
+  '';
+
+  pythonImportsCheck = [ "ieee754.part" ];
+
   meta = with lib; {
     homepage = "https://pypi.org/project/libresoc-ieee754fpu/";
     license = licenses.lgpl3Plus;