py-dd: changes for cudd build, added TODOs for some build issues

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

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Sun Dec 31 16:09:07 2023 +0530
Changeset:	724da4da68d59dd8c7a6a85bb3ac9210267e9d6e

Modified Files:
	py-dd/Makefile
	py-dd/PLIST
Added Files:
	py-dd/TODO

Log Message:
py-dd: changes for cudd build, added TODOs for some build issues

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

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

diffstat:
 py-dd/Makefile | 4 ++++
 py-dd/PLIST    | 2 ++
 py-dd/TODO     | 8 ++++++++
 3 files changed, 14 insertions(+)

diffs:
diff --git a/py-dd/Makefile b/py-dd/Makefile
index bbefac0288..d1d1191631 100644
--- a/py-dd/Makefile
+++ b/py-dd/Makefile
@@ -12,5 +12,9 @@ LICENSE=	modified-bsd
 
 DEPENDS+=	${PYPKGPREFIX}-astutils>=0.0.5:../../wip/py-astutils
 
+BUILD_DEPENDS+=	${PYPKGPREFIX}-cython>=3.0.0:../../devel/py-cython
+
+USE_LANGUAGES+=	c c++
+
 .include "../../lang/python/wheel.mk"
 .include "../../mk/bsd.pkg.mk"
diff --git a/py-dd/PLIST b/py-dd/PLIST
index 810f04d13b..cb641554e4 100644
--- a/py-dd/PLIST
+++ b/py-dd/PLIST
@@ -4,6 +4,7 @@ ${PYSITELIB}/${WHEEL_INFODIR}/METADATA
 ${PYSITELIB}/${WHEEL_INFODIR}/RECORD
 ${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
 ${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt
+${PYSITELIB}/dd/CUDD_LICENSE
 ${PYSITELIB}/dd/__init__.py
 ${PYSITELIB}/dd/__init__.pyc
 ${PYSITELIB}/dd/__init__.pyo
@@ -47,6 +48,7 @@ ${PYSITELIB}/dd/buddy_.pxd
 ${PYSITELIB}/dd/c_sylvan.pxd
 ${PYSITELIB}/dd/cudd.c
 ${PYSITELIB}/dd/cudd.pyx
+${PYSITELIB}/dd/cudd.so
 ${PYSITELIB}/dd/cudd_zdd.c
 ${PYSITELIB}/dd/cudd_zdd.pyx
 ${PYSITELIB}/dd/dddmp.py
diff --git a/py-dd/TODO b/py-dd/TODO
new file mode 100644
index 0000000000..b530df57d8
--- /dev/null
+++ b/py-dd/TODO
@@ -0,0 +1,8 @@
+1. These two envrionment variables are required. Need a way to add them to Makefile
+
+	DD_FETCH=1 DD_CUDD=1
+
+2. There is ssl.SSLCertVerificationError when the build tries to download cudd.
+Have worked around by doing the following in work/dd-0.6.0:
+
+	 wget --content-disposition https://sourceforge.net/projects/cudd-mirror/files/cudd-3.0.0.tar.gz/download