From 535219895d1dc66ea798edb393b58ff667bd4f02 Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Fri, 19 Aug 2016 01:30:21 +0000
Subject: [PATCH] nixpkgs: yosys 2016.05.21 -> 2016.08.18

Also amend the fetched name 'abc' to 'yosys-abc', so that the
derivation name looks distinctly different from any other abc install
at a glance.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 pkgs/development/compilers/yosys/default.nix | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/pkgs/development/compilers/yosys/default.nix b/pkgs/development/compilers/yosys/default.nix
index d0b8ae7cf82..c424003fcbb 100644
--- a/pkgs/development/compilers/yosys/default.nix
+++ b/pkgs/development/compilers/yosys/default.nix
@@ -2,30 +2,30 @@
 
 stdenv.mkDerivation rec {
   name = "yosys-${version}";
-  version = "2016.05.21";
+  version = "2016.08.18";
 
   srcs = [
     (fetchFromGitHub {
       owner = "cliffordwolf";
       repo = "yosys";
-      rev = "8e9e793126a2772eed4b041bc60415943c71d5ee";
-      sha256 = "1s0x7n7qh2qbfc0d7p4q10fvkr61jdqgyqzijr422rabh9zl4val";
+      rev = "9b8e06bee177f53c34a9dd6dd907a822f21659be";
+      sha256 = "0x5c1bcayahn7pbgycxkxr6lkv9m0jpwfdlmyp2m9yzm2lpyw7dg";
       name = "yosys";
     })
     (fetchFromBitbucket {
       owner = "alanmi";
       repo = "abc";
-      rev = "d9559ab";
-      sha256 = "08far669khb65kfpqvjqmqln473j949ak07xibfdjdmiikcy533i";
-      name = "abc";
+      rev = "a2e5bc66a68a";
+      sha256 = "09yvhj53af91nc54gmy7cbp7yljfcyj68a87494r5xvdfnsj11gy";
+      name = "yosys-abc";
     })
   ];
   sourceRoot = "yosys";
 
   buildInputs = [ pkgconfig tcl readline libffi python3 bison flex ];
   preBuild = ''
-    chmod -R u+w ../abc
-    ln -s ../abc abc
+    chmod -R u+w ../yosys-abc
+    ln -s ../yosys-abc abc
     make config-gcc
     echo 'ABCREV := default' >> Makefile.conf
     makeFlags="PREFIX=$out $makeFlags"