Date: Mon, 23 Mar 2020 06:31:11 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r528952 - in head/math: . cudd Message-ID: <202003230631.02N6VBwN010315@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003230631.02N6VBwN010315>