26 lines
714 B
Nix
26 lines
714 B
Nix
{ stdenv, fetchFromGitHub, python3Packages, nmigen, jtagtap,
|
|
yosys, symbiyosys, yices }:
|
|
|
|
python3Packages.buildPythonPackage {
|
|
name = "minerva";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "lambdaconcept";
|
|
repo = "minerva";
|
|
rev = "0518621134dd7a551cac5758d9171a24d0c1578f";
|
|
sha256 = "1iqddkfmki7wsb3nsrp145d8qfjv3i9fpgkzvh95rq9nz4l7jy6w";
|
|
};
|
|
|
|
propagatedBuildInputs = [ nmigen jtagtap ];
|
|
|
|
checkInputs = [ yosys symbiyosys yices ];
|
|
checkPhase = "python -m unittest discover minerva.test -v";
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "A 32-bit RISC-V soft processor";
|
|
homepage = "https://m-labs.hk/migen";
|
|
license = licenses.bsd2;
|
|
maintainers = [ maintainers.sb0 ];
|
|
};
|
|
}
|