Add abc9_ops -check, -prep_times, -write_box for required times

[yosys.git] / Makefile

diff --git a/Makefile b/Makefile
index a85f6350c556836c6728f9ffe6a2ee913316a40e..fd95219ee7a0cda43cc19efd328ff9e5ef38aa18 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 = 623b5e8
+ABCREV = 144c5be
 ABCPULL = 1
 ABCURL ?= https://github.com/berkeley-abc/abc
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1