svn commit: r528952 - in head/math: . cudd
Yuri Victorovich
yuri at FreeBSD.org
Mon Mar 23 06:31:12 UTC 2020
Author: yuri
Date: Mon Mar 23 06:31:10 2020
New Revision: 528952
URL: https://svnweb.freebsd.org/changeset/ports/528952
Log:
New port: math/cudd: Package for the manipulation of Binary Decision Diagrams (BDDs), etc
Added:
head/math/cudd/
head/math/cudd/Makefile (contents, props changed)
head/math/cudd/distinfo (contents, props changed)
head/math/cudd/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Mon Mar 23 05:24:26 2020 (r528951)
+++ head/math/Makefile Mon Mar 23 06:31:10 2020 (r528952)
@@ -202,6 +202,7 @@
SUBDIR += cryptominisat
SUBDIR += csdp
SUBDIR += ctl-sat
+ SUBDIR += cudd
SUBDIR += curv
SUBDIR += cvc3
SUBDIR += cvc4
Added: head/math/cudd/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cudd/Makefile Mon Mar 23 06:31:10 2020 (r528952)
@@ -0,0 +1,26 @@
+# $FreeBSD$
+
+PORTNAME= cudd
+DISTVERSION= 3.0.0
+CATEGORIES= math
+MASTER_SITES= https://davidkebo.com/source/cudd_versions/
+
+MAINTAINER= yuri at 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>
Added: head/math/cudd/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cudd/distinfo Mon Mar 23 06:31:10 2020 (r528952)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1584938668
+SHA256 (cudd-3.0.0.tar.gz) = b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69
+SIZE (cudd-3.0.0.tar.gz) = 1175302
Added: head/math/cudd/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/cudd/pkg-descr Mon Mar 23 06:31:10 2020 (r528952)
@@ -0,0 +1,5 @@
+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).
+
+WWW: https://davidkebo.com/cudd
More information about the svn-ports-all
mailing list