On 2/18/25 9:47 PM, Benjamin Stürz wrote:
> Hi ports@,
> 
> updating cad/yosys requires updating cad/abc.
> I'm changing it to YosysHQ's fork, because no one else is using it.
> 
> I wasn't really sure what version to use,
> because upstream doesn't have any releases.
>

Seems like the original maintainer doesn't respond...
I wouldn't be opposed to take maintainership.

As this port is only used by cad/yosys,
wouldn't it make sense to vendor it in yosys?
Especially since yosys requires a specific version of abc.

Here is an updated version of the patch:

diff refs/heads/yosys refs/heads/master
commit - 90eb0fd00d69d7a8ce90f55beb1e2499cf20f168
commit + 6368aa1d825fc2e706fe74348a0d726e329b5e6d
blob - 9a6efd2f19f66ea7cb58adbf6e7020116a681780
blob + 154d67ddd0a9a7afd08e4e07a0f5eab1c23f99f5
--- cad/abc/Makefile
+++ cad/abc/Makefile
@@ -1,10 +1,10 @@
  COMMENT =	system for sequential logic synthesis and verification
-DISTNAME =	abc-1.52.20250502
+DISTNAME =	abc-1.01.20210519
  CATEGORIES =	cad

-GH_ACCOUNT =	YosysHQ
+GH_ACCOUNT =	berkeley-abc
  GH_PROJECT =	abc
-GH_COMMIT =	e55d316cc9a7f72a84a76eda555aa6ec083c9d0d
+GH_COMMIT =	d35b05859c44015661d36aaaa2926e0dd5f3e4dc

  HOMEPAGE =	https://people.eecs.berkeley.edu/~alanmi/abc
  MAINTAINER =	Alessandro De Laurenzis <just22@atlantide.mooo.com>
blob - 4349abb90a4da7a0014f6dedfedef528f9c849c3
blob + 56c07179972ba57c26a0651e50e6f0279af09c5e
--- cad/abc/distinfo
+++ cad/abc/distinfo
@@ -1,2 +1,2 @@
-SHA256 (abc-1.52.20250502-e55d316c.tar.gz) = 
NXK5f2Zg+aa2AsIwLUgzc+V5zRDcce+2Z/CMAUQVHSY=
-SIZE (abc-1.52.20250502-e55d316c.tar.gz) = 7057168
+SHA256 (abc-1.01.20210519-d35b0585.tar.gz) = 
jWgIEYaaJsXzR6Pa9oRfL/Al7Ya262KPneR8FImcaew=
+SIZE (abc-1.01.20210519-d35b0585.tar.gz) = 5906230
blob - ced632122498ffe1ab3f183b47bd0b45e8207a4e
blob + 75e77a3abfaad9ce523a82d8830976e83df7983d
--- cad/abc/patches/patch-Makefile
+++ cad/abc/patches/patch-Makefile
@@ -20,3 +20,23 @@ Index: Makefile

   # whether to use libreadline
   ifndef ABC_USE_NO_READLINE
+@@ -137,12 +140,17 @@ endif
+
+ # LIBS := -ldl -lrt
+ LIBS += -lm
+-ifneq ($(OS), FreeBSD)
++ifneq ($(OS), $(filter $(OS), FreeBSD OpenBSD))
+   LIBS += -ldl
+ endif
+
++LIBS += -lrt
++
+ ifneq ($(findstring Darwin, $(shell uname)), Darwin)
+-   LIBS += -lrt
++   LIBS := $(filter-out -lrt, $(LIBS))
++endif
++ifeq ($(OS), OpenBSD)
++   LIBS := $(filter-out -lrt, $(LIBS))
+ endif
+
+ ifdef ABC_USE_LIBSTDCXX