diff --git a/cad/abc/Makefile b/cad/abc/Makefile
index b566da8b839c..4d1c0533cb5a 100644
--- a/cad/abc/Makefile
+++ b/cad/abc/Makefile
@@ -1,37 +1,39 @@
 PORTNAME=	abc
-DISTVERSION=	g20220920
+DISTVERSION=	g20241117
 CATEGORIES=	cad
 
 MAINTAINER=	uddka@student.kit.edu
 COMMENT=	System for sequential synthesis and verification
 WWW=		https://people.eecs.berkeley.edu/~alanmi/abc/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/copyright.txt
 
 BUILD_DEPENDS=	gmake:devel/gmake
 
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	berkeley-abc
-GH_TAGNAME=	5fb4912559380dfcb55e76c23d3fa69c0da454f8
+GH_TAGNAME=	1f3cf0a
 USE_LDCONFIG=	yes
 
+CMAKE_ON=	ABC_SKIP_TESTS
+
 BINARY_ALIAS=	make=${GMAKE}
 
 PLIST_FILES=	bin/${PORTNAME} lib/lib${PORTNAME}.so
 
 OPTIONS_DEFINE=			READLINE THREADS
 OPTIONS_DEFAULT=		READLINE THREADS
 
 READLINE_USES=			readline
 READLINE_CONFIGURE_ENV=		ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
 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
 
 .include <bsd.port.mk>
diff --git a/cad/abc/distinfo b/cad/abc/distinfo
index 6e2994ad18b2..5c2c24b2e3e8 100644
--- a/cad/abc/distinfo
+++ b/cad/abc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1665323497
-SHA256 (berkeley-abc-abc-g20220920-5fb4912559380dfcb55e76c23d3fa69c0da454f8_GH0.tar.gz) = 219e6c88cb5129e7bac181feb5f9b92fb715c3c55a4eaa7715c30a53b7867985
-SIZE (berkeley-abc-abc-g20220920-5fb4912559380dfcb55e76c23d3fa69c0da454f8_GH0.tar.gz) = 6065799
+TIMESTAMP = 1731985503
+SHA256 (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 2c8056d27feba4b41df6b99d392ce7c6808e35a40cb35a2dc6bdc68be5683da0
+SIZE (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 6265866