Commit 5b93ac11 authored by Austin Seipp's avatar Austin Seipp
Browse files

yosys: 0.18 -> 0.20 



Includes necessary `abc` update as well.

Signed-off-by: default avatarAustin Seipp <aseipp@pobox.com>
parent 37b546ea

pkgs/applications/science/logic/abc/default.nix

+3 −3
Original line number Diff line number Diff line
@@ -4,13 +4,13 @@ 


stdenv.mkDerivation rec {

  pname   = "abc-verifier";

  version = "2022.05.06";

  version = "2022.07.27";



  src = fetchFromGitHub {

    owner = "yosyshq";

    repo  = "abc";

    rev   = "09a7e6dac739133a927ae7064d319068ab927f90";

    hash  = "sha256-+1UcYjK2mvhlTHl6lVCcj5q+1D8RUTquHaajSl5NuJg=";

    rev   = "7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4";

    hash  = "sha256-6m8XpSYWT0uMpYHXm3ExnH7RMg923YqZAJPTBeFXMzg=";

  };



  nativeBuildInputs = [ cmake ];

pkgs/development/compilers/yosys/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -72,13 +72,13 @@ let 


in stdenv.mkDerivation rec {

  pname   = "yosys";

  version = "0.18";

  version = "0.20";



  src = fetchFromGitHub {

    owner = "YosysHQ";

    repo  = "yosys";

    rev   = "${pname}-${version}";

    hash  = "sha256-uvJYL7cUhf6gTvfeIVKWMB2DH5qcYzhB2WPeJf1rCTI=";

    hash  = "sha256-0oDF6wLcWlDG2hWFjIL+oQmICQl/H6YAwDzgTiuF298=";

  };



  enableParallelBuilding = true;