1PORTNAME= cudd 2DISTVERSION= 3.0.0 3CATEGORIES= math 4MASTER_SITES= https://davidkebo.com/source/cudd_versions/ 5 6MAINTAINER= ports@MidnightBSD.org 7COMMENT= Package for the manipulation of Binary Decision Diagrams (BDDs), etc 8WWW= https://davidkebo.com/cudd 9 10LICENSE= bsd3 11LICENSE_FILE= ${WRKSRC}/LICENSE 12 13USES= gmake libtool 14USE_LDCONFIG= yes 15 16GNU_CONFIGURE= yes 17CONFIGURE_ARGS= --enable-shared 18 19PLIST_FILES= include/cudd.h \ 20 lib/libcudd-3.0.0.so.0 \ 21 lib/libcudd-3.0.0.so.0.0.0 \ 22 lib/libcudd.a \ 23 lib/libcudd.so 24 25.include <bsd.port.mk> 26