From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 5 Dec 2019 00:37:56 +0000 (-0800)
Subject: Bump ABC to get "&verify -s" fix
X-Git-Tag: working-ls180~881^2^2~100
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c8a7bc5d3a0a69e942a1c9ce84c1dbf0c32e49e4;p=yosys.git

Bump ABC to get "&verify -s" fix
---

diff --git a/Makefile b/Makefile
index b088e97f1..e484656c8 100644
--- a/Makefile
+++ b/Makefile
@@ -128,7 +128,7 @@ bumpversion:
 # is just a symlink to your actual ABC working directory, as 'make mrproper'
 # will remove the 'abc' directory and you do not want to accidentally
 # delete your work on ABC..
-ABCREV = d527697
+ABCREV = 451f2b0
 ABCPULL = 1
 ABCURL ?= https://github.com/berkeley-abc/abc
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1