Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / nix / ieee754fpu.nix
1 { lib, buildPythonPackage, libresoc-nmutil, bigfloat, fetchgit }:
2
3 buildPythonPackage {
4 pname = "libresoc-ieee754fpu";
5 version = "unstable-2021-06-05";
6
7 src = fetchgit {
8 url = "https://git.libre-soc.org/git/ieee754fpu.git";
9 rev = "c62fa3a7ee95832587d7725729dcdb9a002ae015";
10 sha256 = "wbr1vGFzUlUtBT6IcRsykADYeksiVoq/LacU/dbRQ0o=";
11 };
12
13 propagatedBuildInputs = [ libresoc-nmutil bigfloat ];
14
15 doCheck = false;
16
17 prePatch = ''
18 touch ./src/ieee754/part/__init__.py
19 '';
20
21 pythonImportsCheck = [ "ieee754.part" ];
22
23 meta = with lib; {
24 homepage = "https://pypi.org/project/libresoc-ieee754fpu/";
25 license = licenses.lgpl3Plus;
26 };
27 }