projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b43986c)
Bump ABC to get "&verify -s" fix
authorEddie Hung <eddie@fpgeh.com>
Thu, 5 Dec 2019 00:37:56 +0000 (16:37 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 5 Dec 2019 00:37:56 +0000 (16:37 -0800)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index b088e97f16073ecb1036bc0a4ff5910295039b6d..e484656c8f520fd578fca9826ba3ca5439d3bcba 100644 (file)
--- 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