mirror of https://git.FreeBSD.org/ports.git
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
This commit is contained in:
parent
c8ca0ff4f7
commit
32257f9a33
|
|
@ -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>
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
PORTNAME= qflow
|
||||
DISTVERSION= 1.4.104
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= cad
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
|
|
|
|||
|
|
@ -1,6 +1,7 @@
|
|||
PORTNAME= yosys
|
||||
DISTVERSIONPREFIX= v
|
||||
DISTVERSION= 0.57
|
||||
PORTREVISION= 1
|
||||
CATEGORIES= cad
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
|
|
|
|||
Loading…
Reference in New Issue