cudd: initial revision

diff --git a/cudd/DESCR b/cudd/DESCR
new file mode 100644 (file)
index 0000000..3e65433
--- /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 (file)
index 0000000..29d489f
--- /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
+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 (file)
index 0000000..b64dce1
--- /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 (file)
index 0000000..c8b9e03
--- /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 (file)
index 0000000..9c00521
--- /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