2018-04-24 07:53:29 +00:00
|
|
|
PORTNAME= abc
|
2020-03-22 08:56:58 +00:00
|
|
|
DISTVERSION= g20200322
|
2018-04-24 07:53:29 +00:00
|
|
|
CATEGORIES= cad
|
|
|
|
|
|
|
|
|
|
MAINTAINER= uddka@student.kit.edu
|
|
|
|
|
COMMENT= System for sequential synthesis and verification
|
|
|
|
|
|
|
|
|
|
LICENSE= MIT
|
|
|
|
|
LICENSE_FILE= ${WRKSRC}/copyright.txt
|
|
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
BUILD_DEPENDS= gmake:devel/gmake
|
|
|
|
|
|
|
|
|
|
USES= cmake
|
2018-04-24 07:53:29 +00:00
|
|
|
USE_GITHUB= yes
|
|
|
|
|
GH_ACCOUNT= berkeley-abc
|
2020-03-22 08:56:58 +00:00
|
|
|
GH_TAGNAME= a4518e6f833885c905964f1233d11e5b941ec24c
|
2018-04-24 07:53:29 +00:00
|
|
|
USE_LDCONFIG= yes
|
|
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
BINARY_ALIAS= make=${GMAKE}
|
2018-04-24 07:53:29 +00:00
|
|
|
|
|
|
|
|
PLIST_FILES= bin/${PORTNAME} lib/lib${PORTNAME}.so
|
|
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
OPTIONS_DEFINE= READLINE THREADS
|
|
|
|
|
OPTIONS_DEFAULT= READLINE THREADS
|
2018-04-24 07:53:29 +00:00
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
READLINE_USES= readline
|
|
|
|
|
READLINE_CONFIGURE_ENV= ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
|
|
|
|
|
READLINE_CONFIGURE_ENV_OFF= ABC_USE_NO_READLINE=1
|
2018-04-24 07:53:29 +00:00
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
THREADS_CONFIGURE_ENV_OFF= ABC_USE_NO_PTHREADS=1
|
2018-04-24 07:53:29 +00:00
|
|
|
|
2020-03-22 08:56:58 +00:00
|
|
|
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
|
2018-04-24 07:53:29 +00:00
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
