# $OpenBSD$

COMMENT =	Colorado University Decision Diagram

GH_ACCOUNT =	ivmai
GH_PROJECT =	cudd
GH_TAGNAME =	3.0.0

CATEGORIES =	devel

SHARED_LIBS +=  cudd-${GH_TAGNAME}	0.0	# 0.0
SHARED_LIBS +=  cudd			0.0	# 0.0

MAINTAINER =	Alessandro De Laurenzis <just22@atlantide.t28.net>

# BSD
PERMIT_PACKAGE_CDROM =	Yes

WANTLIB =	${COMPILER_LIBCXX} m

BUILD_DEPENDS =	print/texlive/base

CONFIGURE_STYLE =	gnu

USE_GMAKE =	Yes

TEST_DEPENDS =	textproc/gdiff
TEST_TARGET =	check

post-install:
	${INSTALL_DATA_DIR} ${PREFIX}/share/doc/cudd
	${INSTALL_DATA} ${WRKSRC}/doc/cudd.pdf ${PREFIX}/share/doc/cudd
	${INSTALL_DATA} ${WRKSRC}/doc/phase.pdf ${PREFIX}/share/doc/cudd

.include <bsd.port.mk>
