summaryrefslogtreecommitdiff
path: root/math/cudd/Makefile
blob: e685e1364b20fa41d8cd8dbee28074317e166668 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

PORTNAME=	cudd
DISTVERSION=	3.0.0
CATEGORIES=	math
MASTER_SITES=	https://davidkebo.com/source/cudd_versions/

MAINTAINER=	yuri@FreeBSD.org
COMMENT=	Package for the manipulation of Binary Decision Diagrams (BDDs), etc

LICENSE=	BSD3CLAUSE
LICENSE_FILE=	${WRKSRC}/LICENSE

USES=		gmake libtool
USE_LDCONFIG=	yes

GNU_CONFIGURE=	yes
CONFIGURE_ARGS=	--enable-shared

PLIST_FILES=	include/cudd.h \
		lib/libcudd-3.0.0.so.0 \
		lib/libcudd-3.0.0.so.0.0.0 \
		lib/libcudd.a \
		lib/libcudd.so

.include <bsd.port.mk>