From 5cd4fd5bc50a5ecca1ff2c19e34790776a1577be Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Tue, 17 Mar 2020 05:29:38 -0500 Subject: [PATCH] symbiyosys: 2020.02.08 -> 2020.02.11 Signed-off-by: Austin Seipp --- .../science/logic/symbiyosys/default.nix | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pkgs/applications/science/logic/symbiyosys/default.nix b/pkgs/applications/science/logic/symbiyosys/default.nix index 6b41a44a358..48c48836b06 100644 --- a/pkgs/applications/science/logic/symbiyosys/default.nix +++ b/pkgs/applications/science/logic/symbiyosys/default.nix @@ -1,17 +1,17 @@ { stdenv, fetchFromGitHub , bash, python3, yosys -, yices, boolector, aiger, abc-verifier +, yices, boolector, aiger }: stdenv.mkDerivation { pname = "symbiyosys"; - version = "2020.02.08"; + version = "2020.02.11"; src = fetchFromGitHub { owner = "YosysHQ"; repo = "SymbiYosys"; - rev = "500b526131f434b9679732fc89515dbed67c8d7d"; - sha256 = "1pwbirszc80r288x81nx032snniqgmc80i09bbha2i3zd0c3pj5h"; + rev = "0a7013017f9d583ef6cc8d10712f4bf11cf6e024"; + sha256 = "08xz8sgvs1qy7jxp8ma5yl49i6nl7k6bkhry4afdvwg3fvwis39c"; }; buildInputs = [ python3 ]; @@ -29,8 +29,8 @@ stdenv.mkDerivation { --replace ': "btormc"' ': "${boolector}/bin/btormc"' \ --replace ': "yosys"' ': "${yosys}/bin/yosys"' \ --replace ': "yosys-smtbmc"' ': "${yosys}/bin/yosys-smtbmc"' \ - --replace ': "yosys-abc"' ': "${abc-verifier}/bin/abc"' \ - --replace ': "aigbmc"' ': "${aiger}/bin/aigbmc"' \ + --replace ': "yosys-abc"' ': "${yosys}/bin/yosys-abc"' \ + --replace ': "aigbmc"' ': "${aiger}/bin/aigbmc"' \ ''; buildPhase = "true";