|
|
|
@ -6,8 +6,8 @@ python3Packages.buildPythonPackage { |
|
|
|
|
src = fetchFromGitHub { |
|
|
|
|
owner = "m-labs"; |
|
|
|
|
repo = "nmigen"; |
|
|
|
|
rev = "6a77122c2ed422ac7e7e96d9d4ba58c6b37fa8bc"; |
|
|
|
|
sha256 = "1gd249pj9c0kskwfdl1idhv6gx74lr9s3ycn66vy0hyhns5df0zq"; |
|
|
|
|
rev = "744e33f42df53b2bba75a808226221cc99b35de0"; |
|
|
|
|
sha256 = "1qsbw5s9mmc6ddk5iy3mpif6rq644jvqw95v8xa3ph86hqdj2x6v"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
checkPhase = "PATH=${yosys}/bin:${symbiyosys}/bin:${yices}/bin:$PATH python -m unittest discover nmigen.test -v"; |
|
|
|
|