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 <jus...@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
