From c41443bda367e14b1abef9601b0486e087a46171 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Aug 01 2022 21:33:30 +0000
Subject: Update to latest git snapshot.


---

diff --git a/abc.spec b/abc.spec
index 4107528..001dfa2 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   48498af8189ef321ee876065d8947875cf711294
+%global gittag   a9237f50ea01efdd62f86d334a38ffbe80a3d141
 %global shorttag %(cut -b -7 <<< %{gittag})
-%global gitdate  20211229
+%global gitdate  20220731
 
 # WARNING: When updating to a newer snapshot, because upstream doesn't do
 # shared library versioning, run abipkgdiff (from libabigail) against the
@@ -22,10 +22,15 @@
 
 Name:           abc
 Version:        1.01
-Release:        34.git%{gitdate}%{?dist}
+Release:        35.git%{gitdate}%{?dist}
 Summary:        Sequential logic synthesis and formal verification
 
-License:        MIT
+# The ABC code itself is MIT-Modern-Variant.
+# The bundled CUDD code is BSD-3-Clause.
+# The bundled glucose code is MIT.
+# The bundled minisat code is MIT.
+# The bundled satoko code is BSD-2-Clause
+License:        MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
 URL:            https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm
 Source0:        https://github.com/%{owner}/%{name}/archive/%{gittag}/%{name}-%{shorttag}.tar.gz
 # Man page created by Jerry James using upstream text; hence, it is covered by
@@ -76,6 +81,12 @@ Summary:        Library for sequential synthesis and verification
 # is no longer available from Fedora since the disappearance of the upstream
 # web site (and the last released version was 3.0.0).
 Provides:       bundled(cudd) = 2.4.2
+# ABC includes a bundled and modified version of glucose (which version?)
+Provides:       bundled(glucose)
+# ABC includes a bundled and modified version of minisat (which version?).
+Provides:       bundled(minisat2)
+# ABC includes a bundled and modified version of satoko (which version?).
+Provides:       bundled(satoko)
 
 %description libs
 This package contains the core functionality of ABC as a shared library.
@@ -90,7 +101,7 @@ Headers and libraries for developing applications that use ABC.
 %prep
 %autosetup -p0 -n %{name}-%{gittag}
 
-# Do not use the bundled libraries
+# Do not use the bundled bzip2, zlib, or Windows libraries
 rm -fr lib src/misc/{bzlib,zlib}
 
 # Set the version number in the man page
@@ -149,6 +160,10 @@ install -p -m 0644 %{name}.1 %{buildroot}%{_mandir}/man1
 %{_libdir}/lib%{name}.so
 
 %changelog
+* Mon Aug  1 2022 Jerry James <loganjerry@gmail.com> - 1.01-35.git20220731
+- Update to latest git snapshot
+- Convert License field to SPDX
+
 * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-34.git20211229
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild