diff options
| author | Emily <vcs@emily.moe> | 2019-08-13 16:46:49 -0700 |
|---|---|---|
| committer | Emily <vcs@emily.moe> | 2019-08-14 00:14:22 -0700 |
| commit | a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b (patch) | |
| tree | 42d25e8f7b914d92f7cea3354565c63b4819cd1a /pkgs/applications/science/logic/symbiyosys | |
| parent | 830801805d9859b34b83a4d58fa37e6f44aa43c5 (diff) | |
| download | nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar.gz nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar.bz2 nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar.lz nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar.xz nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.tar.zst nixlib-a51e3987ad3f6a7d972fb391f7ca4fbfabc4f49b.zip | |
symbiyosys: 2019.04.18 -> 2019.08.13
Diffstat (limited to 'pkgs/applications/science/logic/symbiyosys')
| -rw-r--r-- | pkgs/applications/science/logic/symbiyosys/default.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/symbiyosys/default.nix b/pkgs/applications/science/logic/symbiyosys/default.nix index 8ba77159693e..064ad204aff8 100644 --- a/pkgs/applications/science/logic/symbiyosys/default.nix +++ b/pkgs/applications/science/logic/symbiyosys/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchFromGitHub, yosys, bash, python3 }: stdenv.mkDerivation rec { - name = "symbiyosys-${version}"; - version = "2019.04.18"; + pname = "symbiyosys"; + version = "2019.08.13"; src = fetchFromGitHub { owner = "yosyshq"; repo = "symbiyosys"; - rev = "b1de59032ef3de35e56fa420a914c2f14d2495e4"; - sha256 = "0zci1n062csswl5xxjh9fwq09p9clv95ckag3yywxq06hnqzx0r7"; + rev = "9cb542ac7a310b3dfa626349db53bed6236b670c"; + sha256 = "0c7nz740738ybk33zzlfl00cq86n31wvra8pqqkpl4ygxnwca1d6"; }; buildInputs = [ python3 yosys ]; @@ -26,9 +26,6 @@ stdenv.mkDerivation rec { substituteInPlace $out/bin/sby \ --replace "##yosys-sys-path##" \ "sys.path += [p + \"/share/yosys/python3/\" for p in [\"$out\", \"${yosys}\"]]" - substituteInPlace $out/share/yosys/python3/sby_core.py \ - --replace "/bin/bash" \ - "${bash}/bin/bash" ''; meta = { description = "Tooling for Yosys-based verification flows"; |