diff options
Diffstat (limited to 'cad/abc/Makefile')
| -rw-r--r-- | cad/abc/Makefile | 19 |
1 files changed, 11 insertions, 8 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> |