cudd: initial revision

[mayuresh <mayuresh%acm.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Mon Aug 26 10:54:48 2024 +0530
Changeset:	5fb43d4285d2cc34c252036a8d8f6b53345ba2b1

Added Files:
	cudd/DESCR
	cudd/Makefile
	cudd/PLIST
	cudd/TODO
	cudd/distinfo

Log Message:
cudd: initial revision

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=5fb43d4285d2cc34c252036a8d8f6b53345ba2b1

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 cudd/DESCR    |  3 +++
 cudd/Makefile | 21 +++++++++++++++++++++
 cudd/PLIST    |  3 +++
 cudd/TODO     |  1 +
 cudd/distinfo |  5 +++++
 5 files changed, 33 insertions(+)

diffs:
diff --git a/cudd/DESCR b/cudd/DESCR
new file mode 100644
index 0000000000..3e65433932
--- /dev/null
+++ b/cudd/DESCR
@@ -0,0 +1,3 @@
+CUDD stands for Colorado University Decision Diagram. It is a package for the
+manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams
+(ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
diff --git a/cudd/Makefile b/cudd/Makefile
new file mode 100644
index 0000000000..29d489f52e
--- /dev/null
+++ b/cudd/Makefile
@@ -0,0 +1,21 @@
+# $NetBSD$
+
+DISTNAME=	cudd-3.0.0
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=davidkebo/cudd/blob/main/cudd_versions/}
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://github.com/davidkebo/cudd/blob/main/cudd_versions/
+COMMENT=	Package for the manipulation of Binary Decision Diagrams (BDDs), etc
+LICENSE=	modified-bsd
+
+WRKSRC=		${WRKDIR}/${DISTNAME}
+USE_TOOLS+=	autoconf automake autoreconf
+GNU_CONFIGURE=	yes
+USE_LIBTOOL=	yes
+USE_LANGUAGES=	c c++
+
+pre-configure:
+	set -e; cd ${WRKSRC} && autoreconf -fi
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/cudd/PLIST b/cudd/PLIST
new file mode 100644
index 0000000000..b64dce12de
--- /dev/null
+++ b/cudd/PLIST
@@ -0,0 +1,3 @@
+@comment $NetBSD$
+include/cudd.h
+lib/libcudd.la
diff --git a/cudd/TODO b/cudd/TODO
new file mode 100644
index 0000000000..c8b9e031f7
--- /dev/null
+++ b/cudd/TODO
@@ -0,0 +1 @@
+- Downloading of distfile is required to be done manually
diff --git a/cudd/distinfo b/cudd/distinfo
new file mode 100644
index 0000000000..9c005214c9
--- /dev/null
+++ b/cudd/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (cudd-3.0.0.tar.gz) = fe8bc757a0bcb04a78ef0845fa51b898bf35b73f806007574cea57f2c43764a3
+SHA512 (cudd-3.0.0.tar.gz) = c0cb5fbdc4bb1793712e42c2e1377c3b1ae36f22ffc82bb3dd93a8a51f58bfe192fed9a37239a4c471326ef00a8f5e2f7fc801a2a6841be3db5a7e159e866f21
+Size (cudd-3.0.0.tar.gz) = 1175302 bytes