From 13f60c2eb9407b98e6f44d8ea4e77688b47f551a Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
Date: Jan 29 2020 21:34:52 +0000
Subject: Update to latest git snapshot


As of Jan. 11, 2020, yosys requires abc git snapshot 71f2b40 or newer.
We can also drop the -giaDeep patch, which has been applied upstream.

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>

---

diff --git a/abc-giaDeep.patch b/abc-giaDeep.patch
deleted file mode 100644
index 3dba0cc..0000000
--- a/abc-giaDeep.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- src/aig/gia/module.make.orig	2019-12-17 15:57:46.000000000 -0700
-+++ src/aig/gia/module.make	2019-12-18 09:15:32.619098847 -0700
-@@ -16,6 +16,7 @@ SRC +=    src/aig/gia/giaAig.c \
-     src/aig/gia/giaCSat2.c \
-     src/aig/gia/giaCTas.c \
-     src/aig/gia/giaCut.c \
-+    src/aig/gia/giaDeep.c \
-     src/aig/gia/giaDfs.c \
-     src/aig/gia/giaDup.c \
-     src/aig/gia/giaEdge.c \
diff --git a/abc.spec b/abc.spec
index f59b52f..83cdd80 100644
--- a/abc.spec
+++ b/abc.spec
@@ -1,8 +1,8 @@
 # Upstream doesn't make releases.  We have to check the code out of git.
 %global owner    berkeley-abc
-%global gittag   02393a2a7af6b45766830f111923cb2f56f28dad
+%global gittag   8eb6aed5d116afc0933b49c6973af08cf2eff471
 %global shorttag %(cut -b -7 <<< %{gittag})
-%global gitdate  20191217
+%global gitdate  20200127
 
 # WARNING: When updating to a newer snapshot, because upstream doesn't do
 # shared library versioning, run abipkgdiff (from libabigail) against the
@@ -20,7 +20,7 @@
 
 Name:           abc
 Version:        1.01
-Release:        25.git%{gitdate}%{?dist}
+Release:        26.git%{gitdate}%{?dist}
 Summary:        Sequential logic synthesis and formal verification
 
 License:        MIT
@@ -39,8 +39,6 @@ Patch2:         %{name}-header.patch
 Patch3:         %{name}-build.patch
 # Fix sprintf calls that can overflow their buffers
 Patch4:         %{name}-format.patch
-# Fix undefined symbols due to not compiling giaDeep.c
-Patch5:         %{name}-giaDeep.patch
 
 BuildRequires:  cmake
 BuildRequires:  gcc-c++
@@ -132,6 +130,9 @@ install -p -m 0644 %{name}.1 %{buildroot}%{_mandir}/man1
 %{_libdir}/lib%{name}.so
 
 %changelog
+* Mon Jan 27 2020 Gabriel Somlo <gsomlo@gmail.com> - 1.01-25.git8eb6aed
+- Update to latest git snapshot
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-25.git20191217
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild