diff --git a/cad/abc/Makefile b/cad/abc/Makefile index 2dc2ef1939fb..553ef0cb235e 100644 --- a/cad/abc/Makefile +++ b/cad/abc/Makefile @@ -1,42 +1,43 @@ PORTNAME= abc -DISTVERSION= g20251002 +DISTVERSION= g202511104 CATEGORIES= cad MAINTAINER= alven@FreeBSD.org COMMENT= System for sequential synthesis and verification -WWW= https://people.eecs.berkeley.edu/~alanmi/abc/ +WWW= https://people.eecs.berkeley.edu/~alanmi/abc/ \ + https://github.com/berkeley-abc/abc/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/copyright.txt BUILD_DEPENDS= gmake:devel/gmake USES= cmake USE_GITHUB= yes GH_ACCOUNT= berkeley-abc -GH_TAGNAME= c8eac759 +GH_TAGNAME= 474e7fbe 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 95f59672d6af..58e1e6d3d446 100644 --- a/cad/abc/distinfo +++ b/cad/abc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1760019084 -SHA256 (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 2a9a93508b5474e4fe99f910fcd9663c4ea096223b5d0001769946f07737a74d -SIZE (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 7100730 +TIMESTAMP = 1762387632 +SHA256 (berkeley-abc-abc-g202511104-474e7fbe_GH0.tar.gz) = 6acb1a761ed3aca8b78e98177b8eac4ebef43d0522e9c7c69e6dca4fa8d73da9 +SIZE (berkeley-abc-abc-g202511104-474e7fbe_GH0.tar.gz) = 7128303