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

[yosys.git] / Makefile

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