sylvan BDD package initial commit

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

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Fri Jul 8 22:18:47 2022 +0530
Changeset:	cd313807f1c7c5279a3722ee6a423bf32dce1b3b

Added Files:
	sylvan/DESCR
	sylvan/Makefile
	sylvan/PLIST
	sylvan/distinfo

Log Message:
sylvan BDD package initial commit

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

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

diffstat:
 sylvan/DESCR    |  5 +++++
 sylvan/Makefile | 18 ++++++++++++++++++
 sylvan/PLIST    |  4 ++++
 sylvan/distinfo |  6 ++++++
 4 files changed, 33 insertions(+)

diffs:
diff --git a/sylvan/DESCR b/sylvan/DESCR
new file mode 100644
index 0000000000..99599a05b9
--- /dev/null
+++ b/sylvan/DESCR
@@ -0,0 +1,5 @@
+Sylvan is a parallel (multi-core) multi-terminal binary decision diagram
+library written in C. Sylvan implements typical binary decision diagram
+operations also found in libraries like CUDD, but provides scalable parallel
+execution of these operations and is more versatile thanks to supporting custom
+decision diagram terminal types.
diff --git a/sylvan/Makefile b/sylvan/Makefile
new file mode 100644
index 0000000000..be3a14df0a
--- /dev/null
+++ b/sylvan/Makefile
@@ -0,0 +1,18 @@
+# $NetBSD$
+
+GITHUB_TAG=	refs/tags/v${PKGVERSION_NOREV}
+DISTNAME=	sylvan-1.5.0
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=utwente-fmt/}
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://github.com/utwente-fmt/sylvan/
+COMMENT=	Multi-core Decision Diagram (BDD/LDD) implementation
+LICENSE=	apache-2.0
+
+WRKSRC=		${WRKDIR}/sylvan-1.5.0
+USE_CMAKE=	yes
+USE_LANGUAGES=	c c++
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/sylvan/PLIST b/sylvan/PLIST
new file mode 100644
index 0000000000..92ba51a2d7
--- /dev/null
+++ b/sylvan/PLIST
@@ -0,0 +1,4 @@
+@comment $NetBSD$
+@comment TODO: to fill this file with the file listing:
+@comment TODO: 1. run "/usr/bin/make package"
+@comment TODO: 2. run "/usr/bin/make print-PLIST"
diff --git a/sylvan/distinfo b/sylvan/distinfo
new file mode 100644
index 0000000000..424ee6dd9d
--- /dev/null
+++ b/sylvan/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+SHA1 (sylvan-1.5.0.tar.gz) = 32bb16bce7df494b20d1ec25a303820fe2e44a35
+RMD160 (sylvan-1.5.0.tar.gz) = 4a774b16ae0a76dea05ec0eb11518bcb9d752324
+SHA512 (sylvan-1.5.0.tar.gz) = c92dd8259f19363c05ae0a1960fb790f7ecce104da42c1174eb59e76b67a54bcbb80f143b684a21e7eee8f19f96cd71f3dda63f7a889e6242a27d7862a3030f1
+Size (sylvan-1.5.0.tar.gz) = 682875 bytes