berkeley-abc: Replace with yosys-abc.

yosys-abc is a fork of berkeley-abc by the YosysHQ team. The YosysHQ
team advise that yosys should be used with yosys-abc instead of
berkeley-abc. The two are compatible, with yosys-abc being better
maintained.

Within Void berkeley-abc's only rdep is yosys. The berkeley-abc package
has not been updated in some time. Rather than keeping both packages,
this commit replaces berkeley-abc with yosys-abc.

srcpkgs/berkeley-abc

@@ -0,0 +1 @@
+yosys-abc

srcpkgs/berkeley-abc/patches/reproducibility.patch

@@ -1,37 +0,0 @@
-From: Johann Klammer <klammerj@a1.net>
-Date: Sat, 4 Aug 2018 13:17:43 +0000
-Subject: Remove the __TIME__ etc macros
-
-Otherwise the debian package checking complains...
-===================================================================
----
- src/base/cmd/cmdUtils.c   | 2 +-
- src/base/main/mainUtils.c | 2 +-
- 2 files changed, 2 insertions(+), 2 deletions(-)
-
-diff --git src/base/cmd/cmdUtils.c src/base/cmd/cmdUtils.c
-index 3409543..9b7223f 100644
---- a/src/base/cmd/cmdUtils.c
-+++ b/src/base/cmd/cmdUtils.c
-@@ -589,7 +589,7 @@ void CmdCommandPrint( Abc_Frame_t * pAbc, int fPrintAll, int fDetails )
-     nColumns = 79 / (LenghtMax + 2);
- 
-     // print the starting message 
--    fprintf( pAbc->Out, "      Welcome to ABC compiled on %s %s!", __DATE__, __TIME__ );
-+    fprintf( pAbc->Out, "      Welcome to ABC!");
- 
-     // print the command by group
-     sGroupCur = NULL;
-diff --git src/base/main/mainUtils.c src/base/main/mainUtils.c
-index d1fe1d2..3668f3b 100644
---- a/src/base/main/mainUtils.c
-+++ b/src/base/main/mainUtils.c
-@@ -52,7 +52,7 @@ static char * DateReadFromDateString( char * datestr );
- char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc )
- {
-     static char Version[1000];
--    sprintf(Version, "%s (compiled %s %s)", ABC_VERSION, __DATE__, __TIME__);
-+    sprintf(Version, "%s", ABC_VERSION);
-     return Version;
- }
- 

srcpkgs/yosys-abc/patches/reproducibility.patch

@@ -0,0 +1,19 @@
+From: =?utf-8?q?Daniel_Gr=C3=B6ber?= <dxld@darkboxed.org>
+Date: Tue, 13 Jun 2023 12:50:07 +0200
+Subject: Remove build-date/time reproducibility hazard
+
+---
+ src/base/cmd/cmdUtils.c | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+--- a/src/base/cmd/cmdUtils.c
++++ b/src/base/cmd/cmdUtils.c
+@@ -593,7 +593,7 @@ void CmdCommandPrint( Abc_Frame_t * pAbc
+     nColumns = 79 / (LenghtMax + 2);
+ 
+     // print the starting message 
+-    fprintf( pAbc->Out, "      Welcome to ABC compiled on %s %s!", __DATE__, __TIME__ );
++    fprintf( pAbc->Out, "      Welcome to ABC!");
+ 
+     // print the command by group
+     sGroupCur = NULL;

srcpkgs/yosys-abc/template

@@ -1,23 +1,23 @@
-# Template file for 'berkeley-abc'
-pkgname=berkeley-abc
-# This is the version shipped by Fedora 34
-_gitrev=d4fb192575cd319de68764eac5b7e049f575f43e
-version=1.01+20201124
+# Template file for 'yosys-abc'
+pkgname=yosys-abc
+version=0.47
 revision=1
 build_style=gnu-makefile
 make_use_env=yes
-make_build_args="ABC_MAKE_VERBOSE=1 ABC_USE_STDINT_H=1"
+make_build_args="ABC_USE_STDINT_H=1"
 makedepends="readline-devel zlib-devel bzip2-devel"
 short_desc="System for Sequential Synthesis and Verification"
-maintainer="Đoàn Trần Công Danh <congdanhqx@gmail.com>"
+maintainer="Aloz1 <kno0001@gmail.com>"
 license="custom:University-of-California, BSD-4-Clause, MIT, BSD-2-Clause"
-homepage="http://www.eecs.berkeley.edu/~alanmi/abc/"
-distfiles="https://github.com/berkeley-abc/abc/archive/$_gitrev.tar.gz"
-checksum=52f1e9bf62c1e0d3b3cbe145f61b409a725e73fe606ba010efcbb2701a14171b
+homepage="http://github.com/YosysHQ/abc"
+distfiles="https://github.com/YosysHQ/yosys/releases/download/${version}/abc.tar.gz"
+checksum=e0a4eb6e4ec9209f7b81f7ad28ea0be1361a9cf4f4f639356feefc1f4450db7e
+replaces="berkeley-abc>=0"
+provides="berkeley-abc-1.01+20210000_1"
 
 post_patch() {
-	vsed -i -e '/^CC *:=/d' -e '/^CXX *:=/d' -e '/^AR *:=/d' \
-		Makefile
+	vsed -i -e '/^CC *:=/d' -e '/^CXX *:=/d' -e '/^AR *:=/d' Makefile
+	vsed -i -e 's/^\(#define ABC_VERSION .*\)"/\1 (Yosys '${version}')"/' src/base/main/mainInt.h
 }
 
 do_install() {