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"