diff --git a/cad/abc/Makefile b/cad/abc/Makefile index 7a9c1ec9eb72..5527d859fb03 100644 --- a/cad/abc/Makefile +++ b/cad/abc/Makefile @@ -1,47 +1,46 @@ PORTNAME= abc -DISTVERSION= g20251226 +DISTVERSION= g20260104 PORTEPOCH= 1 CATEGORIES= cad MAINTAINER= alven@FreeBSD.org COMMENT= System for sequential synthesis and verification WWW= https://people.eecs.berkeley.edu/~alanmi/abc/ \ https://github.com/berkeley-abc/abc/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/copyright.txt NOT_FOR_ARCHS= i386 NOT_FOR_ARCHS_REASON= __int128 is not supported on this target BUILD_DEPENDS= gmake:devel/gmake USES= cmake USE_GITHUB= yes GH_ACCOUNT= berkeley-abc -GH_TAGNAME= 91e806ff +GH_TAGNAME= c18b9a24 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_LIB} ${BUILD_WRKSRC}/lib${PORTNAME}.so \ ${STAGEDIR}${PREFIX}/lib .include diff --git a/cad/abc/distinfo b/cad/abc/distinfo index b5984a60366c..56c06eecb87b 100644 --- a/cad/abc/distinfo +++ b/cad/abc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1767084907 -SHA256 (berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz) = d0c2b67dee2b8181b8198611d9100ad676d664da89c6205ef5cdab318ffa3466 -SIZE (berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz) = 7277400 +TIMESTAMP = 1768131637 +SHA256 (berkeley-abc-abc-g20260104-c18b9a24_GH0.tar.gz) = c1134a07525bbd6130dd50b5f6b997609510cfbe005b84235e8ecaf1d9c6b45c +SIZE (berkeley-abc-abc-g20260104-c18b9a24_GH0.tar.gz) = 7290483