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

symbiyosys: 2020.02.08 -> 2020.02.11

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2020-03-17 05:29:38 -05:00
parent 9b43cf3a00
commit 5cd4fd5bc5
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,17 +1,17 @@
{ stdenv, fetchFromGitHub { stdenv, fetchFromGitHub
, bash, python3, yosys , bash, python3, yosys
, yices, boolector, aiger, abc-verifier , yices, boolector, aiger
}: }:
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "symbiyosys"; pname = "symbiyosys";
version = "2020.02.08"; version = "2020.02.11";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "YosysHQ"; owner = "YosysHQ";
repo = "SymbiYosys"; repo = "SymbiYosys";
rev = "500b526131f434b9679732fc89515dbed67c8d7d"; rev = "0a7013017f9d583ef6cc8d10712f4bf11cf6e024";
sha256 = "1pwbirszc80r288x81nx032snniqgmc80i09bbha2i3zd0c3pj5h"; sha256 = "08xz8sgvs1qy7jxp8ma5yl49i6nl7k6bkhry4afdvwg3fvwis39c";
}; };
buildInputs = [ python3 ]; buildInputs = [ python3 ];
@ -29,7 +29,7 @@ stdenv.mkDerivation {
--replace ': "btormc"' ': "${boolector}/bin/btormc"' \ --replace ': "btormc"' ': "${boolector}/bin/btormc"' \
--replace ': "yosys"' ': "${yosys}/bin/yosys"' \ --replace ': "yosys"' ': "${yosys}/bin/yosys"' \
--replace ': "yosys-smtbmc"' ': "${yosys}/bin/yosys-smtbmc"' \ --replace ': "yosys-smtbmc"' ': "${yosys}/bin/yosys-smtbmc"' \
--replace ': "yosys-abc"' ': "${abc-verifier}/bin/abc"' \ --replace ': "yosys-abc"' ': "${yosys}/bin/yosys-abc"' \
--replace ': "aigbmc"' ': "${aiger}/bin/aigbmc"' \ --replace ': "aigbmc"' ': "${aiger}/bin/aigbmc"' \
''; '';