# $FreeBSD$

PORTNAME=	abc
DISTVERSION=	g20180420
CATEGORIES=	cad

MAINTAINER=	uddka@student.kit.edu
COMMENT=	System for sequential synthesis and verification

LICENSE=	MIT
LICENSE_FILE=	${WRKSRC}/copyright.txt

USES=		gmake localbase:ldflags
USE_GITHUB=	yes
GH_ACCOUNT=	berkeley-abc
GH_TAGNAME=	0e15e4d
USE_LDCONFIG=	yes

MAKE_ENV=	ABC_USE_STDINT_H=1 ABC_MAKE_VERBOSE=1
CFLAGS+=	-fPIC
CXXFLAGS+=	-fPIC

PLIST_FILES=	bin/${PORTNAME} lib/lib${PORTNAME}.so

OPTIONS_DEFINE=	DEBUG DOCS READLINE THREADS
OPTIONS_DEFAULT=	READLINE THREADS

READLINE_USES=	readline
READLINE_MAKE_ENV=	ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
READLINE_MAKE_ENV_OFF=	ABC_USE_NO_READLINE=1

THREADS_MAKE_ENV_OFF=	ABC_USE_NO_PTHREADS=1

PORTDOCS=	README.md readmeaig

post-build:
	cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ABC_USE_PIC=1 lib${PORTNAME}.so

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
	${INSTALL_PROGRAM} ${WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib

do-install-DOCS-on:
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/readmeaig ${STAGEDIR}${DOCSDIR}

.include <bsd.port.mk>