diff options
| author | beat <beat@FreeBSD.org> | 2010-05-12 21:25:37 +0800 |
|---|---|---|
| committer | beat <beat@FreeBSD.org> | 2010-05-12 21:25:37 +0800 |
| commit | f7b4b308b5f571cfbeccdf4a417ad33f22c068f0 (patch) | |
| tree | e6c91e5f694f38b3c286ca84bbf14bf2423000d4 /science | |
| parent | 8a2a4cd2ee6e514d8bd6dd5d5742099f92100062 (diff) | |
| download | freebsd-ports-gnome-f7b4b308b5f571cfbeccdf4a417ad33f22c068f0.tar.gz freebsd-ports-gnome-f7b4b308b5f571cfbeccdf4a417ad33f22c068f0.tar.zst freebsd-ports-gnome-f7b4b308b5f571cfbeccdf4a417ad33f22c068f0.zip | |
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@
Diffstat (limited to 'science')
| -rw-r--r-- | science/Makefile | 1 | ||||
| -rw-r--r-- | science/bddsolve/Makefile | 38 | ||||
| -rw-r--r-- | science/bddsolve/distinfo | 3 | ||||
| -rw-r--r-- | science/bddsolve/pkg-descr | 4 | ||||
| -rw-r--r-- | science/bddsolve/pkg-plist | 4 |
5 files changed, 50 insertions, 0 deletions
diff --git a/science/Makefile b/science/Makefile index 4ac63bed6de9..9d28e8dcdd8d 100644 --- a/science/Makefile +++ b/science/Makefile @@ -11,6 +11,7 @@ SUBDIR += at SUBDIR += avogadro SUBDIR += bblimage + SUBDIR += bddsolve SUBDIR += bft SUBDIR += bodr SUBDIR += brian 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%% |