Merge pull request #48605 from bgamari/yosys-updates

Yosys updates
This commit is contained in:
Vincent Laporte 2018-10-17 17:17:44 +00:00 committed by GitHub
commit 9549a22b52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View File

@ -7,13 +7,13 @@ let
in
stdenv.mkDerivation rec {
name = "nextpnr-${version}";
version = "2018.08.09";
version = "2018.10.17";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "nextpnr";
rev = "2e02f2d6166c75b1fcec73d268e97e407071a372";
sha256 = "1f98mkailn75gz5fvhjhnyr0gwa0r8mm3f2sbvgl0yvys8qi08wr";
rev = "529a595157a2eef24f8529b0de0c504a40ed503b";
sha256 = "06yp89rpvb2s4zc1qkbcp76kqwkk9s8j2ckblqw547dy5ah2cl7h";
};
nativeBuildInputs = [ cmake ];

View File

@ -8,14 +8,14 @@ with builtins;
stdenv.mkDerivation rec {
name = "yosys-${version}";
version = "2018.09.30";
version = "2018.10.17";
srcs = [
(fetchFromGitHub {
owner = "yosyshq";
repo = "yosys";
rev = "4d2917447cc14c590b4fee5ba36948fb4ee6884b";
sha256 = "0b9mmzq2jhx8x8b58nk97fzh70nbhlc3lcfln5facxddv4mp2gl1";
rev = "yosys-0.8";
sha256 = "1qwbp8gynlklawzvpa4gdn2x0hs8zln0s3kxjqkhfcjfxffdcpvv";
name = "yosys";
})