From f7b4b308b5f571cfbeccdf4a417ad33f22c068f0 Mon Sep 17 00:00:00 2001
From: beat <beat@FreeBSD.org>
Date: Wed, 12 May 2010 13:25:37 +0000
Subject: Bddsolve is a BDD-based tool for solving satisfiability and
 reachability problems.  It uses the BDD package Buddy as a backend.

WWW: http://www.win.tue.nl/~wieger/bddsolve/

Submitted by:	ed@
---
 science/bddsolve/Makefile  | 38 ++++++++++++++++++++++++++++++++++++++
 science/bddsolve/distinfo  |  3 +++
 science/bddsolve/pkg-descr |  4 ++++
 science/bddsolve/pkg-plist |  4 ++++
 4 files changed, 49 insertions(+)
 create mode 100644 science/bddsolve/Makefile
 create mode 100644 science/bddsolve/distinfo
 create mode 100644 science/bddsolve/pkg-descr
 create mode 100644 science/bddsolve/pkg-plist

(limited to 'science/bddsolve')

diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile
new file mode 100644
index 000000000000..1c42f9a899ab
--- /dev/null
+++ b/science/bddsolve/Makefile
@@ -0,0 +1,38 @@
+# New ports collection makefile for:	bddsolve
+# Date created:				11 May 2010
+# Whom:					Ed Schouten <ed@FreeBSD.org>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	bddsolve
+PORTVERSION=	1.02
+CATEGORIES=	science
+MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/
+
+MAINTAINER=	ed@FreeBSD.org
+COMMENT=	BDD-based satisfiability and reachability solver
+
+LIB_DEPENDS+=	bdd:${PORTSDIR}/science/buddy \
+		boost_program_options:${PORTSDIR}/devel/boost-libs
+
+USE_ZIP=	yes
+USE_GCC=	4.2+
+NO_WRKSUBDIR=	yes
+
+.include <bsd.port.pre.mk>
+
+do-build:
+	${CXX} ${CFLAGS} -I${LOCALBASE}/include -I${WRKSRC}/include \
+		${LDFLAGS} -L${LOCALBASE}/lib -lbdd -lboost_program_options \
+		-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${LOCALBASE}/bin/
+.if !defined(NOPORTEXAMPLES)
+	${MKDIR} ${EXAMPLESDIR}
+	${INSTALL_DATA} ${WRKSRC}/example/reach.b ${EXAMPLESDIR}/
+	${INSTALL_DATA} ${WRKSRC}/example/sat.b ${EXAMPLESDIR}/
+.endif
+
+.include <bsd.port.post.mk>
diff --git a/science/bddsolve/distinfo b/science/bddsolve/distinfo
new file mode 100644
index 000000000000..28f31fb679a7
--- /dev/null
+++ b/science/bddsolve/distinfo
@@ -0,0 +1,3 @@
+MD5 (bddsolve-1.02.zip) = a84faa33f72f0aad0611e4d92abc08bd
+SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
+SIZE (bddsolve-1.02.zip) = 19180
diff --git a/science/bddsolve/pkg-descr b/science/bddsolve/pkg-descr
new file mode 100644
index 000000000000..d611aad4f5cc
--- /dev/null
+++ b/science/bddsolve/pkg-descr
@@ -0,0 +1,4 @@
+Bddsolve is a BDD-based tool for solving satisfiability and reachability
+problems.  It uses the BDD package Buddy as a backend.
+
+WWW: http://www.win.tue.nl/~wieger/bddsolve/
diff --git a/science/bddsolve/pkg-plist b/science/bddsolve/pkg-plist
new file mode 100644
index 000000000000..252e3376b523
--- /dev/null
+++ b/science/bddsolve/pkg-plist
@@ -0,0 +1,4 @@
+bin/bddsolve
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
-- 
cgit