PORTNAME= abc DISTVERSION= g20200322 CATEGORIES= cad MAINTAINER= [email protected] COMMENT= System for sequential synthesis and verification LICENSE= MIT LICENSE_FILE= ${WRKSRC}/copyright.txt BUILD_DEPENDS= gmake:devel/gmake USES= cmake USE_GITHUB= yes GH_ACCOUNT= berkeley-abc GH_TAGNAME= a4518e6f833885c905964f1233d11e5b941ec24c USE_LDCONFIG= yes 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>
