git: 32257f9a3394 - main - cad/abc: Update g20241117 => g20251002, take maintainership

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=32257f9a3394c08d5db96fc3ae1e9ac4a72f840a

commit 32257f9a3394c08d5db96fc3ae1e9ac4a72f840a
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-10-09 21:39:49 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-10-10 21:39:46 +0000

    cad/abc: Update g20241117 => g20251002, take maintainership
    
    Original maintainer is inactive for several years.
    
    * Pet portclippy(1) and portfmt(1)
    
    Approved by:            yuri@ (Mentor)
    Differential Revision:  https://reviews.freebsd.org/D53006
---
 cad/abc/Makefile   | 19 +++++++++++--------
 cad/abc/distinfo   |  6 +++---
 cad/qflow/Makefile |  1 +
 cad/yosys/Makefile |  1 +
 4 files changed, 16 insertions(+), 11 deletions(-)

diff --git a/cad/abc/Makefile b/cad/abc/Makefile
index 4d1c0533cb5a..2dc2ef1939fb 100644
--- a/cad/abc/Makefile
+++ b/cad/abc/Makefile
@@ -1,8 +1,8 @@
 PORTNAME=	abc
-DISTVERSION=	g20241117
+DISTVERSION=	g20251002
 CATEGORIES=	cad
 
-MAINTAINER=	uddka@student.kit.edu
+MAINTAINER=	alven@FreeBSD.org
 COMMENT=	System for sequential synthesis and verification
 WWW=		https://people.eecs.berkeley.edu/~alanmi/abc/
 
@@ -14,17 +14,18 @@ BUILD_DEPENDS=	gmake:devel/gmake
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	berkeley-abc
-GH_TAGNAME=	1f3cf0a
+GH_TAGNAME=	c8eac759
 USE_LDCONFIG=	yes
 
 CMAKE_ON=	ABC_SKIP_TESTS
 
 BINARY_ALIAS=	make=${GMAKE}
 
-PLIST_FILES=	bin/${PORTNAME} lib/lib${PORTNAME}.so
+PLIST_FILES=	bin/${PORTNAME} \
+		lib/lib${PORTNAME}.so
 
-OPTIONS_DEFINE=			READLINE THREADS
-OPTIONS_DEFAULT=		READLINE THREADS
+OPTIONS_DEFINE=		READLINE THREADS
+OPTIONS_DEFAULT=	READLINE THREADS
 
 READLINE_USES=			readline
 READLINE_CONFIGURE_ENV=		ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
@@ -33,7 +34,9 @@ READLINE_CONFIGURE_ENV_OFF=	ABC_USE_NO_READLINE=1
 THREADS_CONFIGURE_ENV_OFF=	ABC_USE_NO_PTHREADS=1
 
 do-install: # https://github.com/berkeley-abc/abc/issues/71
-	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
-	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
+	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME} \
+		${STAGEDIR}${PREFIX}/bin
+	${INSTALL_LIB} ${BUILD_WRKSRC}/lib${PORTNAME}.so \
+		${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
diff --git a/cad/abc/distinfo b/cad/abc/distinfo
index 5c2c24b2e3e8..95f59672d6af 100644
--- a/cad/abc/distinfo
+++ b/cad/abc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1731985503
-SHA256 (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 2c8056d27feba4b41df6b99d392ce7c6808e35a40cb35a2dc6bdc68be5683da0
-SIZE (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 6265866
+TIMESTAMP = 1760019084
+SHA256 (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 2a9a93508b5474e4fe99f910fcd9663c4ea096223b5d0001769946f07737a74d
+SIZE (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 7100730
diff --git a/cad/qflow/Makefile b/cad/qflow/Makefile
index aca8ba23305b..9daae293d539 100644
--- a/cad/qflow/Makefile
+++ b/cad/qflow/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	qflow
 DISTVERSION=	1.4.104
+PORTREVISION=	1
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
index 33330596582d..86cd51a7c09e 100644
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.57
+PORTREVISION=	1
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org