diff --git a/srcpkgs/berkeley-abc b/srcpkgs/berkeley-abc new file mode 120000 index 00000000000..233ee135e09 --- /dev/null +++ b/srcpkgs/berkeley-abc @@ -0,0 +1 @@ +yosys-abc \ No newline at end of file diff --git a/srcpkgs/berkeley-abc/patches/reproducibility.patch b/srcpkgs/berkeley-abc/patches/reproducibility.patch deleted file mode 100644 index 4ab0c9a46b7..00000000000 --- a/srcpkgs/berkeley-abc/patches/reproducibility.patch +++ /dev/null @@ -1,37 +0,0 @@ -From: Johann Klammer -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; - } - diff --git a/srcpkgs/berkeley-abc/patches/remove_bzlib_convenience.patch b/srcpkgs/yosys-abc/patches/remove_bzlib_convenience.patch similarity index 100% rename from srcpkgs/berkeley-abc/patches/remove_bzlib_convenience.patch rename to srcpkgs/yosys-abc/patches/remove_bzlib_convenience.patch diff --git a/srcpkgs/berkeley-abc/patches/remove_zlib_convenience.patch b/srcpkgs/yosys-abc/patches/remove_zlib_convenience.patch similarity index 100% rename from srcpkgs/berkeley-abc/patches/remove_zlib_convenience.patch rename to srcpkgs/yosys-abc/patches/remove_zlib_convenience.patch diff --git a/srcpkgs/yosys-abc/patches/reproducibility.patch b/srcpkgs/yosys-abc/patches/reproducibility.patch new file mode 100644 index 00000000000..08b1947277f --- /dev/null +++ b/srcpkgs/yosys-abc/patches/reproducibility.patch @@ -0,0 +1,19 @@ +From: =?utf-8?q?Daniel_Gr=C3=B6ber?= +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; diff --git a/srcpkgs/berkeley-abc/template b/srcpkgs/yosys-abc/template similarity index 59% rename from srcpkgs/berkeley-abc/template rename to srcpkgs/yosys-abc/template index dba7a6e8aa6..726a3ecf6e1 100644 --- a/srcpkgs/berkeley-abc/template +++ b/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 " +maintainer="Aloz1 " 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() {