public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

symbiyosys: 2018.03.07 -> 2018.03.21 

Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2018-03-21 16:01:02 -05:00
parent 7a00f136e9
commit 011e70155b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/symbiyosys/default.nix
View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "symbiyosys-${version}"; name = "symbiyosys-${version}";
version = "2018.03.07"; version = "2018.03.21";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "yosyshq"; owner = "yosyshq";
repo = "symbiyosys"; repo = "symbiyosys";
rev = "2c13fbefe67adb3a4adb8a6f283b198abb8a43a0"; rev = "76a624a363bc44df102359595d34f29370c6668b";
sha256 = "0v60530w5y4yj66zcp7lwa82158iw26mil1gj41lzyi2p651kc1k"; sha256 = "1ikax1yiqgj5442wcgp1iigw8wiyw7k848z4ykn7k068kbc320bm";
}; };
buildInputs = [ python3 yosys ]; buildInputs = [ python3 yosys ];
@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
"sys.path += [p + \"/share/yosys/python3/\" for p in [\"$out\", \"${yosys}\"]]" "sys.path += [p + \"/share/yosys/python3/\" for p in [\"$out\", \"${yosys}\"]]"
''; '';
meta = { meta = {
description = "Yosys verification tools for Hardware Definition Languages"; description = "Tooling for Yosys-based verification flows";
homepage = https://symbiyosys.readthedocs.io/; homepage = https://symbiyosys.readthedocs.io/;
license = stdenv.lib.licenses.mit; license = stdenv.lib.licenses.mit;
maintainers = with stdenv.lib.maintainers; [ thoughtpolice ]; maintainers = with stdenv.lib.maintainers; [ thoughtpolice ];