Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / nix / c4m-jtag.nix
1 { version, src }:
2
3 { lib, python, buildPythonPackage, nmigen-soc, nmigen, modgrammar, setuptools-scm }:
4
5 buildPythonPackage {
6 pname = "c4m-jtag";
7 inherit src version;
8
9 nativeBuildInputs = [ setuptools-scm ];
10 propagatedBuildInputs = [ nmigen-soc nmigen modgrammar ];
11
12 doCheck = false;
13
14 pythonImportsCheck = [ "c4m.nmigen.jtag.tap" ];
15
16 prePatch = ''
17 export SETUPTOOLS_SCM_PRETEND_VERSION=${version}
18 '';
19
20 meta = with lib; {
21 homepage = "https://pypi.org/project/libresoc-openpower-isa/";
22 license = licenses.lgpl3Plus;
23 };
24 }